randombytes_stir() returns void