Edit File: random.h