static String _computerID;

public static String computerID() {
  lock programLock();
  if (_computerID == null) {
    File file = computerIDFile();
    _computerID = loadTextFile(file.getPath());
    if (_computerID == null) {
      // legacy load
      _computerID = loadTextFile(userDir(".tinybrain/computer-id"));
      if (_computerID == null)
        _computerID = makeRandomID(12);
      saveTextFile(file.getPath(), _computerID);
    }
  }
  ret _computerID;
}