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