Modelling a loop repeat