rand.h added