(** Return true or false if the address contains a NUL-terminated
C identifier. *)
+val is_mapped : ('a, 'b) t -> addr -> bool
+(** Return true if the single address [addr] is mapped. *)
+
val follow_pointer : ([`Wordsize], [`Endian]) t -> addr -> addr
(** Follow (dereference) the pointer at [addr] and return
the address pointed to. *)
val pred_long : ([`Wordsize], 'b) t -> addr -> addr
(** Subtract wordsize bytes from [addr] and return it. *)
+
+val align : ([`Wordsize], 'b) t -> addr -> addr
+(** Align the [addr] to the next wordsize boundary. If it already
+ aligned, this just returns [addr]. *)