add random.h