static void print_threadIndentMinus() {
  print_setPrefixForThread(dropSuffix("  ", print_getPrefixForThread()));
}