kmerizer::dump() and kmerizer::filter()