static long[] allThreadIds() {
  ret threadMXBean().getAllThreadIds();
}