So we're not actually breaking the monitor session stuff with our pick_random_mon() call? (I don't remember exactly which functions are stateful versus not.)