public static void powerloom() {
    {
      System.out.println();
      System.out.println("    Welcome to " + Logic.$POWERLOOM_VERSION_STRING$);
      System.out.println();
      System.out.println("Copyright (C) USC Information Sciences Institute, " + Logic.copyrightYears() + ".");
      System.out.println("PowerLoom is a trademark of the University of Southern California.");
      System.out.println("PowerLoom comes with ABSOLUTELY NO WARRANTY!");
      System.out.println("Type `(copyright)' for detailed copyright information.");
      System.out.println("Type `(help)' for a list of available commands.");
      System.out.println("Type `(demo)' for a list of example applications.");
      System.out.println("Type `bye', `exit', `halt', `quit', or `stop', to exit.");
      System.out.println();
    }
;
    try {
      Logic.logicCommandLoop(null);
      {
        System.out.println("Bye.");
        System.out.println();
      }
;
    } catch (java.lang.Exception e) {
      Stella.STANDARD_ERROR.nativeStream.println("Caught native non-STELLA exception " + e + " at top level.");
      Stella.printExceptionContext(e, Stella.STANDARD_ERROR);
      {
        Stella.STANDARD_ERROR.nativeStream.println("Exiting PowerLoom.");
        Stella.STANDARD_ERROR.nativeStream.println();
      }
;
    }
  }