Update randbox.c