/**************************************************
  generates a generic mainfile for lotos prototypes (Ada)
**************************************************/

/***********************************
  (C) Copyright 1995 dit/upm
  Distributed under the conditions stated in the
  TOPO General Public License (see file LICENSE)
 ***********************************
 $Log: agtm.c,v $
 * Revision 1.1  1995/01/17  10:06:35  lotos
 * Initial revision
 *
***********************************/

#ifndef lint
static char rcsid[]= "$Id: agtm.c,v 1.1 1995/01/17 10:06:35 lotos Exp $";
#endif

/* KJT 20/01/23: added headers */
#include <stdio.h>
#include <stdlib.h>

/* KJT 20/01/23: added "int" type" */
int main(argc, argv)
  int argc;
  char *argv[];
{
  printf ("with kaos_pak; use kaos_pak;\n");
  printf ("with kernel_obj; use kernel_obj;\n");
  printf ("with kernel; use kernel;\n");
  printf ("\n");
  printf ("procedure main is\n");
  printf ("  result: boolean;\n");
  printf ("begin\n");
  printf ("  konfig.random:= true;\n");
  printf ("  konfig.trace:= 1;\n");
  printf ("  lbcinit (0, NULL);\n");
  printf ("  result:= sch;\n");
  printf ("end main;\n");

  exit (0);
  return 0;
}
