POINTER must be compared against default_pointer obviously.