/************************************************************************/
/* Display three consecutive characters starting at the end of the      */
/* 80x25 screen                                                         */
/************************************************************************/

write_one_char()
        {
        write_char('A', 24, 40);               /* First character      */
        write_char('B', 24, 41);               /* Second character     */
        write_char('C', 24, 42);               /* Third character      */
        }