1 2 3 4 5 6 7 8
module proc f() var a: [0]Int (* @Error Array dimension must be greater than zero *) return end.