if (tok.type == "NAME" && tok.identifier
&& tok.identifier.mungedValue && tok.identifier.mungedValue.length) {
//f.write(tok.identifier.mungedValue);
- print("MUNGED: tok.identifier.mungedValue");
+ print("MUNGED: " + tok.identifier.mungedValue);
out += tok.identifier.mungedValue;
continue;
}