svoid drainErrorStreamToConsole(Process process, IPred<S> printIf, Runnable enter) {
  thread "Drain error stream" {
    callF(enter);
    DataInputStream err = new(process.getErrorStream());
    S line;
    while ping ((line = err.readLine()) != null) {
      if (printIf == null || printIf.get(line))
        print("ERR: " + line);
    }
  }
}