// #include "std/io.toc"; f ::= fn(x :: ..) int { x[0] }; main ::= fn() { f(1,2,3); };