Added random.h file