../../rand-bytes.h