#1823 Other "AGM_Diagnosed" for globalExec