move rand64 to random.h