static void setMachineTimeOffset(long newOffset) {
  lock machineTime_lock;
  if (machineTimeOffset() >= newOffset) ret;
  saveTextFile(machineTimeOffsetFile(), str(newOffset));
  machineTimeOffset_value = newOffset;
}