unsigned long long random_get_seed();