static int[] randomSortedIntArray(int n, Random random default defaultRandomizer()) {
  new IntBuffer buf;
  for i to n: if (tossCoin(random)) buf.add(i+1);
  ret buf.toArray();
}