RE: Modelling a loop repeat