protected void toString2(StringBuffer sbuf) {
        super.toString2(sbuf);
        sbuf.append(",\n stack={");
        printTypes(sbuf, stackTop, stackTypes);
        sbuf.append("}, locals={");
        printTypes(sbuf, numLocals, localsTypes);
        sbuf.append("}, inputs={");
        if (inputs != null)
            for (int i = 0; i < inputs.length; i++)
                sbuf.append(inputs[i] ? "1, " : "0, ");

        sbuf.append('}');
    }