static void print_threadIndentPlus(S prefix default "  ") {
  print_setPrefixForThread(print_getPrefixForThread() + prefix);
}