#include <stdint.h>
+#include "rand48.h"
uint64_t __rand48_step(unsigned short *xi, unsigned short *lc)
{
+#include "rand48.h"
+
unsigned short __seed48[7] = { 0, 0, 0, 0xe66d, 0xdeec, 0x5, 0xb };
#include <stdlib.h>
#include <inttypes.h>
-
-uint64_t __rand48_step(unsigned short *xi, unsigned short *lc);
-extern unsigned short __seed48[7];
+#include "rand48.h"
double erand48(unsigned short s[3])
{
#include <stdlib.h>
#include <string.h>
-
-extern unsigned short __seed48[7];
+#include "rand48.h"
void lcong48(unsigned short p[7])
{
#include <stdlib.h>
#include <inttypes.h>
-
-uint64_t __rand48_step(unsigned short *xi, unsigned short *lc);
-extern unsigned short __seed48[7];
+#include "rand48.h"
long nrand48(unsigned short s[3])
{
#include <stdlib.h>
#include <inttypes.h>
-
-uint64_t __rand48_step(unsigned short *xi, unsigned short *lc);
-extern unsigned short __seed48[7];
+#include "rand48.h"
long jrand48(unsigned short s[3])
{
--- /dev/null
+#include <stdint.h>
+
+uint64_t __rand48_step(unsigned short *xi, unsigned short *lc);
+extern unsigned short __seed48[7];
#include <stdlib.h>
#include <string.h>
-
-extern unsigned short __seed48[7];
+#include "rand48.h"
unsigned short *seed48(unsigned short *s)
{