static void threadUnindent() {
  print_threadIndentMinus();
}