<> <> <> <<>> <> <<>> <> <<>> DIRECTORY Camelot, Mach; <<>> YggATProcsImpl: CEDAR PROGRAM ~ BEGIN <> <<>> ATTransactionHasDied: PROC [atPort: Mach.portT, tid: Camelot.tidT, status: INT] ~ { <> <> ERROR; }; <<>> <<>> <<>> <> END.