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