public static void runPowerloomTests() {
    { Module pluser = Stella.getStellaModule("PL-USER", true);
      CalendarDate startTime = CalendarDate.makeCurrentDateTime();
      CalendarDate finishTime = null;
      Stella_Object loglevel = Stella.lookupLoggingParameter("PowerLoom", Logic.KWD_LEVEL, Logic.KWD_LOW);

      Stella.setLoggingParameters("PowerLoom", Cons.cons(Logic.KWD_LEVEL, Cons.cons(Logic.KWD_NONE, Stella.NIL)));
      {
        System.out.println("RUNNING POWERLOOM TEST SUITE");
        System.out.println("============================");
        System.out.println();
      }
;
      {
        System.out.println("STELLA version:    " + Stella.$STELLA_VERSION_STRING$);
        System.out.println("PowerLoom version: " + Logic.$POWERLOOM_VERSION_STRING$);
        System.out.println("Start time:        " + startTime.calendarDateToString(Stella.getLocalTimeZone(), false, true));
        System.out.println();
      }
;
      Context.clearContext(pluser);
      { Context child = null;
        Cons iter000 = pluser.childContexts.copy().theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          child = ((Context)(iter000.value));
          child.destroyContext();
        }
      }
      Logic.$SKOLEM_ID_COUNTER$ = 0;
      { Cons entry = null;
        Cons iter001 = Logic.$DEMO_FILES$;

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
          entry = ((Cons)(iter001.value));
          if (Logic.demoEntryTestSuiteP(entry)) {
            Logic.testLogicFile(Logic.demoEntryFile(entry));
          }
        }
      }
      finishTime = CalendarDate.makeCurrentDateTime();
      {
        System.out.println();
        System.out.println("FINISHED RUNNING POWERLOOM TEST SUITE");
        System.out.println("=====================================");
        System.out.println("Finish time:   " + finishTime.calendarDateToString(Stella.getLocalTimeZone(), false, true));
        System.out.println("Elapsed time:  " + ((TimeDuration)(DateTimeObject.timeSubtract(finishTime, startTime))).timeDurationToString());
        System.out.println();
      }
;
      Stella.setLoggingParameters("PowerLoom", Cons.cons(Logic.KWD_LEVEL, Cons.cons(loglevel, Stella.NIL)));
    }
  }