1 2 3 4 5 6 7 8 9 10 11 12 13
p ::= fn() [3]int { x: [3]int; x[0] = 16; x }; f ::= fn() int { a := p(); a[0] }; main ::= fn() { a ::= f(); };