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