1 2 3 4 5 6 7 8 9
proc f(len: Int) var array: [len]Int (* @Error Array dimensions for type 'Int' should be constant *) begin return begin f(5) end.