*
Null()
=
Null
Specification: Returns 1 if p is not bound to any memory block and 0 else.
Complexity: O(1).