scope machineTime.

static long #last;

static long machineTime() {
  lock #lock;
  long offset = machineTimeOffset();
  long value = now()+offset;
  if (value < last) {
    long newOffset = offset + last-value+1000;
    setMachineTimeOffset(newOffset);
    logQuoted(javaxDataDir("machine-time-events"), "Machine time change occurred!! " + offset + " -> " + newOffset + " at " + now() + " (" + localDateWithMilliseconds() + ")");
    offset = newOffset;
    value = now()+offset;
  }
  last = value;
  ret value;
}

end scope