static void print_setPrefixForThread(fS prefix) {
  interceptPrintInThisThread(empty(prefix) ? null
    : new _PrintIndent(prefix));
}