proc f()
var
  x: const const Int (* @Error Duplicate 'const' qualifier is not allowed *)
begin
return

end.