ibm437_level2_32  751 dev/wsfont/wsfont.c ibm437_level2_32 = { 127, 41, ibm437_chars_32, 1 },
ibm437_level2_32  765 dev/wsfont/wsfont.c 	&ibm437_level2_32, NULL, &ibm437_level2_34, &ibm437_level2_35,