AG(TRUE);
#AG( (.s.exit1=0) +  (.s.exit1=1)  );