text: #include "INTEGRITY.h"
  #include "boottable.h"
  
  void main()
  {
    Exit(0);
  }
  
  /* This global table will be filled in during the Integrate phase with */
  /* information about the AddressSpaces, Tasks, and Objects that are to be */
  /* created.  If you do not plan to use Integrate, you may omit this file from
   */
  /* the kernel, and the boot table code will then not be included. */
  
  GlobalTable TheGlobalTable = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 };
  