char *numnames[] = { "cols", "it", "lines", "lm", "xmc", "pb", "vt", "wsl", 0 }; char *numcodes[] = { "co", "it", "li", "lm", "sg", "pb", "vt", "ws", 0 };