/*
 *      random_uint64.c
 */

#include <stdlib.h>
#include <stdint.h>

uint64_t
random_uint64()
{
        return( (uint64_t)random( ) ^ ( (uint64_t)random( ) << 17 ) ^ ( (uint64_t)random( ) << 33 ) );
}