jack2XML_plus has a mostly-working symbol table