sS autoRestart_localMD5;

static S autoRestart_localMD5() { 
  if (autoRestart_localMD5 == null)
    autoRestart_localMD5 = md5(loadCachedTranspilation(programID()));
  ret autoRestart_localMD5;
}