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

n ::= nms {
	x := 1;
	counter ::= fn() int { x += 1; return x; };
};


main ::= fn() {
	a := n.counter();
	b := n.counter();
	n.counter();
	c := n.counter();
	io.puts("Hello!");
	io.puti(a);
	io.puti(b);
	io.puti(c);
};