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

#include "lotos.hh"

main (argc, argv)
  int argc;
  char* argv[];
{
  int count;
  void **param;

#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= 1;
  ldcinit ();
  cmd2lbc (argc, argv, &count, &param);
  lbcinit (count, param);
  exit (sch ());
}
