let mk_iguard i =  Pretty_utils.sfprintf "is_%a" Ctypes.pp_int i