static void ai_useProgramID(S progID) {
  localSoftwareMadeWebs_programsToRead_set(ll(progID));
  postSoftwareMadeWeb_programID_allThreads = progID;
}