iso7_level2_3     804 dev/wsfont/wsfont.c iso7_level2_3 = { 134, 111, iso7_chars_3, 1 },
iso7_level2_3     808 dev/wsfont/wsfont.c 	&iso7_level2_0, NULL, NULL, &iso7_level2_3,