type
  PPPPPInteger = ^PPPPInteger;
  PPPPInteger = ^PPPInteger;
  PPPInteger = ^PPInteger;
  PPInteger = ^PInteger;
  PInteger = ^Integer;
var
  a: PPPPPInteger;

var
  a: PInteger;
  b: ^PInteger;
begin
  New(a); // Выделили память под типизированный указатель "а"
  a^ := 5; // По адресу "а" записали 5
  New(b); // Выделили память под типизированный указатель "b"
  New(b^); // Выделили память под значение указателя "b", потому что оно тоже типизированный указатель
  b^^ := a^; //По адресу "b" получили указатель на указатель по которому записали значение из указателя на значение в "а"
  Dispose(b^);
  Dispose(b);
  Dispose(a);
end;

var
  i: Integer;
  p: Pointer; {нетипизированный указатель}
  pI: PInteger; {типизированный указатель на данные типа Integer}
  ppI: ^PInteger; {указатель на типизированный указатель на данные типа Integer}
begin
  i := 25000;
  p := Pointer(i); {указатель на адрес значения переменной i. т.е. p указывает на адрес 25000 по которому в данный момент лежит хз что и вообще данные по этому адресу нам могут не принадлежать и у нашего приложения нет прав туда}
  pI := PInteger(p); {аналогично выше, ничего не изменилось}
  ppI := @PInteger(p); {ppI будет содержать указатель на адрес переменной p, которая ... описано выше }
end;

var
  i, j: Integer;
  p: Pointer; {нетипизированный указатель}
  pI: PInteger; {типизированный указатель на данные типа Integer}
begin
  i := 25000;
  p := @i; // p указывает на переменную i
  pI := @i; // pI указывает на переменную i
  j := pI^; // Так можно писать, потому что компилятор понимает размер данных по указателю pI потому что он типизирован
//  j := p^; // Так нельзя писать, потому что компилятор не понимает размера данных по указателю p потому что он не типизирован
end;