Address-p
Recognizes valid addresses for a particular memory.
(MEM::address-p addr mem)
address-p is guarded with (memory-p mem).
address-p returns true if addr is a valid address for mem --
that is, if (and (natp addr) (< addr (size mem))). It is not private, and is left enabled by default.