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