<> <> <> <> <> CoordinatorControl: DEFINITIONS = BEGIN Initialize: PROC [hashArraySize: NAT]; <> <> CallAfterAnalysisPass: PROC []; <> <<(It initializes the coordinator's transaction ID generator).>> CallAfterUpdatePass: PROC []; <> <> <> <<(It enumerates the coordinators that remain after the update pass, aborting active>> <> <> END. <> <> <<>>