var
  x: const Int := -5
  y: const Int := -x

begin
  assert(x = -5);
  assert(y = 5);
end.