static long[] threadIDs_array(L<Thread> threads) {
  long[] ids = new long[l(threads)];
  for i over threads:
    ids[i] = threads.get(i).getId();
  ret ids;
}