p ::= fn() [3]int {
  x: [3]int;
  x[0] = 16;
  x
};

f ::= fn() int {
  a := p();
  a[0]
};
main ::= fn() {
	 a ::= f();
};