let
set_iloop_header env b h =
Hashtbl
.add env.iloop_header b h; env