add rand.h