MAXLEN            107 src/word.c         char *s = malloc_chk(MAXLEN + 1, "word2n.n");
MAXLEN            129 src/word.c         bit = malloc_chk(MAXLEN + 1, "word2bit.bit");