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



Thing ::= struct(t::=int, u::t=3) {
   it : t;
   that : [u]t;
};

f ::= fn(t::=,u::=,th : Thing(t,u)) {
  x: t = 17 as t;
  th.it = x;
};

main ::= fn() {
	 a: Thing(u = 172, t = u8);
	 f(a);
};