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