let
add_loop_header env h = { env
with
loop_headers = h :: env.loop_headers}