String code = (String) m_classes.get(klass); if (code == null) { code = "c" + m_classes.size(); m_classes.put(klass, code); } appendHash(code);
appendHash(klass.getName());
    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);        terminal();    }