Un allocator crear un objeto en memoria dinámica y devuelve un puntero (access) que lo referencia.
allocator ::= new subtype_indication | new qualified_expression
Punt1, Punt2 : access Integer; -- Allocators Punt1 := new Integer; -- subtype_indication Punt2 := new Integer'(10); -- qualified_expression