Create rand.h