/************************************************************************/
/* Read first ten characters at the top of the screen                   */
/************************************************************************/

print_10_chars()
        {
        int     i;
        printf("\Characters read are (in hex): ");
        for (i = 0; i < 10; i++)
                printf("%2X ",read_character(0, i));
        }