proc f()
var
  x: const Int
begin
  x := 5 (* @Error Cannot assign to a value of type 'const Int', because it is constant or contains constant members *)
return

end.