*/
  public static void demo(Cons fileandpause) {
    { Cons thefileandpause = fileandpause;
      Stella_Object filespec = thefileandpause.value;
      boolean pauseP = !Stella_Object.eqlP(thefileandpause.rest.value, Stella.FALSE_WRAPPER);
      String file = null;

      if (Stella_Object.integerP(filespec)) {
        file = Logic.selectExampleDemo(((IntegerWrapper)(filespec)).wrapperValue);
        if (file != null) {
          filespec = StringWrapper.wrapString(file);
        }
        else {
          filespec = null;
        }
      }
      if (filespec == null) {
        Logic.demoExampleDemos();
      }
      else {
        if (Surrogate.subtypeOfStringP(Stella_Object.safePrimaryType(filespec))) {
          { StringWrapper filespec000 = ((StringWrapper)(filespec));

            Logic.demoFile(filespec000.wrapperValue, pauseP);
          }
        }
        else {
          System.out.print(">> ERROR: Illegal file specification: " + filespec);
        }
      }
    }
  }