private static void showChar(int b) {
        if (b >= ' ' && b <= '~') {
            out.printf("%c", (char)b);
            return;
        }
        if (b == '\n') {
            out.printf("\\n\n");
            return;
        }
        if (b == '\\') {
            out.printf("\\\\");
            return;
        }
        out.printf("\\%03o", b);
    } // showChar(int)