MaxName
if ((Pattern(m) = (char *)malloc((unsigned)MaxName(m)+1)) ==
MaxName(m) = maxn;
if (Pindex(m)+1 > MaxName(m)) {
(void) waddnstr(Win(m), Name(k), MaxName(m));
for (i = MaxName(m) - NameLen(k); i > 0; i--) {
width = MaxName(m) + Marklen(m);