private String eliminateEscapes(String s) {
        StringBuilder b = new StringBuilder();
        boolean prevSlash = false;
        
        for (int i = 0; i < s.length(); i++) {
            char c = s.charAt(i);
            
            if (!prevSlash) {
                if (c == '\\') {
                    prevSlash = true;
                } else if (c == '_') {
                    b.append(' ');
                } else {
                    b.append(c);
                } // else
            } else {
                prevSlash = false;
                if (c == 'r') {
                    b.append('\r');
                } else if (c == 'n') {
                    b.append('\n');
                } else if (c == 'o') {
                    b.append('(');
                } else if (c == 'c') {
                    b.append(')');
                } else {
                    b.append(c);
                } // else
            } // else
        } // for
        
        return b.toString();
    } // eliminateEscapes