#include <stdlib.h>
#include <limits>
+#include "os.hpp"
#include "trace_fast_callset.hpp"
using namespace trace;
random_level (void)
{
/* tricky bit -- each bit is '1' 75% of the time */
- long int bits = random() | random();
+ long int bits = os::random() | os::random();
int level = 1;
while (level < MAX_LEVEL)