static int done2_systemErr_minPrint = 10;

static long done2_systemErr(long startTime, S desc) {
  long time = sysNow()-startTime;
  if (time >= done2_systemErr_minPrint)
    System.err.println(desc + " [" + time + " ms]");
  ret time;
}

static long done2_systemErr(S desc, long startTime) {
  ret done2_systemErr(startTime, desc);
}

static long done2_systemErr(long startTime) {
  ret done2_systemErr(startTime, "");
}