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