readtokens: this module *does* require xalloc.h