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