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