// This will behave differently on desktop and Android. On the

// desktop, it shows the program's output as it runs. On Android,

// it does not.

static S getProgramOutput(S progID) {

  if (isAndroid()) {

    PrintStream oldOut = System.out;

    PrintStream oldErr = System.err;

    new ByteArrayOutputStream baos;

    PrintStream ps = new PrintStream(baos, true);

    try {

      System.setOut(ps);

      System.setErr(ps);

      callMain(hotwire(progID));

      ps.flush();

      ret fromUtf8(baos.toByteArray()); // XXX - is this right?

    } finally {

      System.setOut(oldOut);

      System.setErr(oldErr);

    }

  } else {

    Class j = getJavaX();

    Appendable oldSystemOut = (Appendable) get(j, "customSystemOut");

    final new StringBuffer buf;

    set(j, "customSystemOut", new Appendable() {

      // only using this one

      public Appendable append(CharSequence cs) {

        buf.append(cs.toString());

        return this;

      }

      public Appendable append(char c) { return this; }

      public Appendable append(CharSequence s, int start, int end) { return this; }

    });

    try {

      callMain(hotwire(progID));

      ret buf.toString();

    } finally {

      set(j, "customSystemOut", oldSystemOut);

    }

  }

}