#ifndef __RANDOM_H__
#define __RANDOM_H__
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <math.h>

uint32_t lrand(uint64_t *s);


#endif