Jede Zeigervariable enthält im Normalfall die Adresse eines Objekts. Soll eine Zeigervariable ausdrücklich auf kein Objekt zeigen, enthält diese den Wert NIL. Da die (ungültige) Dereferenzierung einer solchen Variable vom Betriebssystem nicht festgestellt wird, generiert der Compiler dafür Prüfcode. Vor der Dereferenzierung wird der Zeigerinhalt auf NIL geprüft und bei Gleichheit die Instruktion TRAP #13 ausgeführt. Auf höheren Prozessoren erzeugt der Prozessor die Instruktion TRAPEQ, wie untenstehend bei der Erläuterung des Überlaufs beschrieben.