proc f()
var
  x: const Int := 5
  y: Int
begin
  y := x;
  assert(y = 5)
return

begin
  f()
end.