let mk_iformat i = Pretty_utils.sfprintf "%a_format" Ctypes.pp_int i