#include <stdint.h>
extern uint64_t from_seed (void*, uint64_t);