iso7_chars_32     798 dev/wsfont/wsfont.c iso7_chars_32[] = {
iso7_chars_32     805 dev/wsfont/wsfont.c iso7_level2_32 = { 20, 8, iso7_chars_32, 1 };