let
mk_imodulo i =
Pretty_utils
.sfprintf
"as_%a"
Ctypes
.pp_int i