Adding random_number8_r for random bytes in skew3.