Review of random_function.h