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

begin
  f()
end.