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