static long uniqueNow_last;

static long uniqueNow() {
  ret uniqueNow_last = max(uniqueNow_last + 1, now());
}