[3.0] Restore the code at random.h