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

p ::= struct(x::Type) {
  y:int;
};
main ::= fn() {
z:p(int);
for z := 1..100 {z:=12;}
};