let loop_int_post = Hashtbl.create 97