io ::= nms {
#include "std/io.toc";
};

p ::= struct(x::Type,y::=3) {
  b:int;
};
main ::= fn() {
z:p(int);
x:[z.y]z.x;
};