void print_char(char c)
{
    unsigned char *raster_line_ptr;

    /* Point to the character's first raster line.
     */
    raster_line_ptr = &chr5x7[(c & 0x7F) - ' '][0];

    /* Output 5 raster lines...
     */
}