ibm437_chars_35   729 dev/wsfont/wsfont.c ibm437_chars_35[] = {
ibm437_chars_35   753 dev/wsfont/wsfont.c ibm437_level2_35 = { 16, 18, ibm437_chars_35, 1 },