Update random_functions.h