iso7_chars_0      775 dev/wsfont/wsfont.c iso7_chars_0[] = {
iso7_chars_0      803 dev/wsfont/wsfont.c iso7_level2_0 = { 0, 190, iso7_chars_0, 1 },