proc f()
var
  a: [10]const Int (* @Error const must be written before the array size, not after *)
begin
return

end.