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