n ::= nms { x := 1; counter ::= fn() int { x += 1; x }; }; main ::= fn() { a := counter(); b := counter(); counter(); c := counter(); puti(a); puti(b); puti(c); };