Una característica importante de esos tipos es que el primer byte de cualquier instancia siempre contiene un puntero a la "estructura de clase" (una forma de ) asociada al tipo de la instancia.