module

proc f()
var
  a: [0]Int (* @Error Array dimension must be greater than zero *)
return

end.