let int_format_for_hyp t = match t with | Ctypes.C_int cint -> Some (format_of_c_int_type cint) | Ctypes.C_pointer ty -> Some (format_of_addr ty) | _ -> None