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

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

main ::= fn() {
	 foo(u = int, u = float);
};