#include <stdlib.h>
#include <stdint.h>
-#include "libc.h"
+#include "lock.h"
+#include "fork_impl.h"
/*
this code uses the same lagged fibonacci generator as the
static int i = 3;
static int j = 0;
static uint32_t *x = init+1;
-static volatile int lock[2];
+static volatile int lock[1];
+volatile int *const __random_lockptr = lock;
static uint32_t lcg31(uint32_t x) {
return (1103515245*x + 12345) & 0x7fffffff;