CONSOLE_FONT_INFO  564 src/w32.c          CONSOLE_FONT_INFO *);
CONSOLE_FONT_INFO 10756 src/w32.c            CONSOLE_FONT_INFO font_info;