proc f(len: Int)
var
  array: [len]Int (* @Error Array dimensions for type 'Int' should be constant *)
begin
  return

program()
begin
  f(5)
return 0u8

end.