static AutoCloseable temp_printPrefix (S prefix) {
  O oldValue = print_byThread();
  print_setPrefixForThread(prefix);
  ret autoCloseable { print_byThread().set(oldValue); };
}