1 2 3 4 5 6 7 8 9 10
#include "std/io.toc"; f ::= fn(x :: ..) Type { [#sizeof(x[0])]x[1] }; main ::= fn() { x: f(int,u8); }; main();