iso7_level2_0     803 dev/wsfont/wsfont.c iso7_level2_0 = { 0, 190, iso7_chars_0, 1 },
iso7_level2_0     808 dev/wsfont/wsfont.c 	&iso7_level2_0, NULL, NULL, &iso7_level2_3,