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