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

program()
begin
  f()
end.