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

program()
begin
  f()
return 0u8

end.