let loop_int_post_bycase = Hashtbl.create 97