assert mlen > 0