Added rand.h