ibm437_chars_32 715 dev/wsfont/wsfont.c ibm437_chars_32[] = { ibm437_chars_32 751 dev/wsfont/wsfont.c ibm437_level2_32 = { 127, 41, ibm437_chars_32, 1 },