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