I guess it should be "assert(mlen >= 0)". Right?