The code in rust_rng.cpp uses rust_kernel for a few things, making random numbers not work with the new scheduler.