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