/************************************************************************/
/* Replace capital letter A with a new bitmap                           */
/************************************************************************/

replace_a()
        {
        static  char    new_A[32] =   {0x7E,
                                       0x42,
                                       0x42,
                                       0x42,
                                       0x7E,
                                       0x42,
                                       0x42,
                                       0xE7,
                                       0,0,0,0,0,0,0,0,
                                       0,0,0,0,0,0,0,0,
                                       0,0,0,0,0,0,0,0};
        write_char_gen(new_A, 'A', 1);          /* Replace 'A' only     */
        printf("\nNew AAAAAAAAA's");
        }