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

program()
begin
  assert(y = 42)
end.