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