This may raise [Invalid_argument "get_bytes"] if the address range
is not fully mapped. *)
+val get_int32 : ('a, [`Endian]) t -> addr -> int32
+(** Return the 32-bit int at [addr]. *)
+
+val get_int64 : ('a, [`Endian]) t -> addr -> int64
+(** Return the 64-bit int at [addr]. *)
+
+val get_C_int : ([`Wordsize], [`Endian]) t -> addr -> int32
+(** Return the C 32-bit int at [addr]. *)
+
+val get_C_long : ([`Wordsize], [`Endian]) t -> addr -> int64
+(** Return the C 32 or 64-bit long at [addr]. *)
+
val get_string : ('a, 'b) t -> addr -> string
(** Return the sequence of bytes starting at [addr] up to (but not
including) the first ASCII NUL character. In other words, this