///print(tok.type + ':' + tok.data);
- if (tok.type == "NAME" && tok.identifier
+ if (tok.type == "NAME" && tok.identifier != null
&& tok.identifier.mungedValue && tok.identifier.mungedValue.length) {
//f.write(tok.identifier.mungedValue);
//print("MUNGED: " + tok.identifier.mungedValue);