#5357: fix VALIDATE_POINTER0 macro