void fbticker_putc(unsigned char c);