main ::= fn() { a : [5]int; for x := a { } }