void hash(String str) { appendHash("s"); appendHash(str);
void hash(Class klass) { String code = (String) m_classes.get(klass); if (code == null) { code = "c" + m_classes.size(); m_classes.put(klass, code); } appendHash(code);
    void hash(String str) {        appendHash("s");        appendHash(str);        terminal();    }