Update randbox.cpp