iso7_chars_3 789 dev/wsfont/wsfont.c iso7_chars_3[] = { iso7_chars_3 804 dev/wsfont/wsfont.c iso7_level2_3 = { 134, 111, iso7_chars_3, 1 },