if (tok.type == "NAME" && tok.identifier
&& tok.identifier.mungedValue && tok.identifier.mungedValue.length) {
//f.write(tok.identifier.mungedValue);
if (tok.type == "NAME" && tok.identifier
&& tok.identifier.mungedValue && tok.identifier.mungedValue.length) {
//f.write(tok.identifier.mungedValue);