static void print_setPrefixForThread(fS prefix) {
  interceptPrintInThisThread(empty(prefix) ? null
    : new F1<S, Bool>() {
      Bool get(S s) {
        print_raw(indent(prefix, s)); // TODO: partial lines?
        false;
      }
    });
}