let
mk_loop_label s =
(* TODO: clean that !*)
c_label (loop_head_label s)