/* _dict.cc 11/01/2005 14.37.32 */
/* web.tlcc 25/01/2005 16.08.00 */
/* buttongif.cc 25/01/2005 15.30.56 */
void button_text2png (const char *str, FILE *fout);