<> <> ProcessExtras: CEDAR DEFINITIONS = BEGIN CheckForAbort: PROC; END.