#include <fcntl.h>
#include <stdint.h>
#include <unistd.h>

uint64_t z__fx_platform_random_seed()
{
	return 0;
}

uint64_t z__fx_platform_random_seed_secure()
{
	return 0;
}