Что будет выдано на печать в результате выполнения следующих операторов? - Pascal

Формулировка задачи:

type ref = ^integer;
var p, q: ref;

Пусть p^=5 и q^=3. Что будет выдано на печать в результате выполнения следующих операторов?

p^:=q^;
if p=q then p:=nil else if p^=q^ then q:=p;
if p=q then q^:=4;
writeln(p^);

Решение задачи: «Что будет выдано на печать в результате выполнения следующих операторов?»

Листинг программы

type ref = ^integer;
var p, q: ref; pp, qq: Integer;
 
begin
  pp:=5; qq:=3; p:=@pp; q:=@qq;
  p^:=q^;
  if p=q then p:=nil else if p^=q^ then q:=p;
  if p=q then q^:=4;
  writeln(p^); 
end.

Объяснение кода листинга программы

Создается тип данных ref, который представляет собой указатель на целое число.
Создаются две переменные p и q типа ref.
Создаются две переменные pp и qq типа Integer.
Значения переменных pp и qq присваиваются переменным p и q соответственно.
Переменные p и q указывают на те же самые объекты в памяти, поэтому они равны.
Если p и q равны, то переменной p присваивается значение nil.
Если p и q не равны, но их указатели указывают на одно и то же место в памяти, то переменной q присваивается значение p.
Если предыдущие условия не выполняются, то переменной q присваивается значение 4.
Выводится значение переменной p^, которая является ссылкой на объект в памяти.