#include <lotos.hh>

/* #define USE_rand	/* */
#define USE_random	/* */
/* #define USE_lrand48	/* */

main ()
{
#ifdef USE_rand
  int rand();
  konfig.random= rand;
  srand (getpid ());
#endif

#ifdef USE_random
  long random();
  konfig.random= random;
  srandom (getpid ());
#endif

#ifdef USE_lrand48
  long lrand48 ();
  konfig.random= lrand48;
  srand48 ((long)getpid ());
#endif

  konfig.trace= 0;
  ldcinit ();
  lbcinit (0, NULL);
  exit (sch ());
}
