let fresh =
  let counter = ref (-1) in
  fun () ->
    decr counter;
    Label (Format.sprintf "unrolling_%d_loop" (- !counter),
           (CurrentLoc.get ()),
           false)