<> <> <> <> DIRECTORY CrRPC, TimeP15V2, CHNameP2V0, CHOpsP2V3, CHEntriesP0V0; CHEntriesP0V0ClientImpl: CEDAR PROGRAM IMPORTS CrRPC EXPORTS CHEntriesP0V0 ~ { OPEN CHEntriesP0V0; GetError: CrRPC.GetErrorProc ~ { ERROR CrRPC.Error[h, remoteError, "Unexpected Remote Error"]; }; <> }...