encoded          2302 src/simh/sim_console.c static void decode (char *decoded, const char *encoded)
encoded          2307 src/simh/sim_console.c while ((c = *decoded++ = *encoded++))                   /* copy the character */
encoded          2309 src/simh/sim_console.c         if ((isalpha ((unsigned char)*encoded)) ||      /* is next character "A-Z" or "a-z"? */
encoded          2310 src/simh/sim_console.c             (*encoded == '@') ||                        /*   or "@"? */
encoded          2311 src/simh/sim_console.c             ((*encoded >= '[') && (*encoded <= '_')))   /*   or "[\]^_"? */
encoded          2313 src/simh/sim_console.c             *(decoded - 1) = *encoded++ & 037;          /* convert back to control character */
encoded          2315 src/simh/sim_console.c             if ((*encoded == '\0') ||                   /* single escape character at EOL? */
encoded          2316 src/simh/sim_console.c                  (*encoded++ != ESC_CHAR))              /*   or not followed by another escape? */