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

foo ::= struct(t::Type) {
   x: t;
};

main ::= fn() {
	a:foo(int); 
};