var
  x: const Int := 42
  y: Int := x

begin
  assert(y = 42)
end.