!7

p {
  S progID = #1009961;
  checkProgram(progID);
}

svoid checkProgram(S progID) ctex {
  S newMD5 = getServerTranspilationMD5(progID);
  if (!isMD5(newMD5)) { print("No server transpilation"); ret; }
  print("Server MD5 for " + progID + ": " + newMD5);
  
  //S localMD5 = md5(DiskSnippetCache_get(psI(progID)));
  S localMD5 = md5(loadCachedTranspilation(progID));
  print("Local MD5: " + localMD5);

  if (neq(localMD5, newMD5))
    restartProgram(progID);
}