var
  base: [4]Int
  element: ^Int
  first: Pointer
  second: Pointer

begin
  element := base.ptr;
  first := element;
  second := first + 1;
  assert(cast(second : Word) - cast(first : Word) = 1u);
  assert(second - 1 = first)
end.