Edit File: opt_random.h