static long done_always(long startTime, S desc) {
  long time = now()-startTime;
  print(desc + " [" + time + " ms]");
  ret time;
}

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

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

svoid done_always(S desc) {
  print(desc + " [" + lastTiming() + " ms]");
}