La parte critica sta certamente nell'ipotesi che si possa trovare un puntatore al descrittore di tipo *self direttamente al di sotto del puntatore arbitrario self. Per il momento ci limiteremo a vigilare che non vi siano puntatori nulli.

Chi realizza in pratica il cosiddetto messaging? Il costruttore chiamato da new() per allocare una nuova area di memoria non è praticamente inizializzato: