New(d);

p^:=3;

d^=5;

p:=d;

d:=Nil;

В данном примере после p:=d;на динамический объект со значением 3 не укзаывает не одна ссылка, т.е он стал не доступным для программы. Допусткаються две операции сравнения. Так как значение этого типа – это адреса соответствующих объектов. То операции сравнения не имеют смысла, так как позволили бы определить, какой из объектов ближе или концу памяти, что для программиста похуй. Два значения ссылочного типа равны если они Nil или указывают на один и тот же динамический объект. Во всех остальных случаях имеет место неравенство.