sha3_selftest_prng
sha3_selftest_prng(m, mlen[mi], (224/8)*mlen[mi]);
sha3_selftest_prng(m, mlen[mi], (256/8)*mlen[mi]);
sha3_selftest_prng(m, mlen[mi], (384/8)*mlen[mi]);
sha3_selftest_prng(m, mlen[mi], (512/8)*mlen[mi]);