Actually check in um_rand.cpp