// returns (timer, estimated firing time) or null
static Pair<O, Long> nextFiringTimerInVM() {
  T3<O, O, Long> t = nextFiringTimerInVM_withOwner();
  ret t == null ? null : pair(t.b, t.c);
}