let lib_is_int = List.map
  (fun i -> i , LogicId.library (Pretty_utils.sfprintf "is_%a" pp_int i))
  Ctypes.c_int_all