public final void dumpDecoding(PrintStream port) {
        int rangeStart = -1; // local code (if >= 0)
        int delta = 0;
        for (int i = 0; i <= 0x100; i++) {
            char unicode = i <= 0xFF ? codes[i] : 0;
            if (rangeStart >= 0 && (unicode == 0 || unicode - i != delta)) {
                dumpDecodingEntry(rangeStart, delta, i - rangeStart, port);
                rangeStart = -1;
            }
            if (rangeStart < 0 && unicode != 0) {
                rangeStart = i;
                delta = unicode - rangeStart;
            }
        }
    }