<> <> <> <<>> SparcLoaderTestCodeImpl: CEDAR MONITOR ~ { P: PROC ~ { i: INT32 _ 0; i _ i.SUCC; }; }.