let cil_to_ocaml_int (e : exp) : (int64 * int * sign) = let v, s = unbox_int_type (typeOf e) in unbox_int_exp (e), v, s