static void threadIndent(S prefix default "") {
  print_threadIndentPlus(prefix);
}