Create random.h