<<>> <> <> <> <> DIRECTORY CrRPC, TimeP15V2, MailTransportP17V5, EnvelopeFormatP1517V1; EnvelopeFormatP1517V1ServerImpl: CEDAR PROGRAM IMPORTS CrRPC, EnvelopeFormatP1517V1 ~ { OPEN EnvelopeFormatP1517V1; Server: CrRPC.ServerProc ~ { <<[h: Handle, s: STREAM, pgm: CARD32, pgmVersion: CARD16, proc: CARD16, beginReturn: BeginReturnProc, beginError: BeginErrorProc, beginReject: BeginRejectProc]>> ENABLE { }; IF (pgmVersion # 1) THEN { beginReject[h, CrRPC.noSuchVersion]; CrRPC.PutCard16[s, 1]; --low CrRPC.PutCard16[s, 1]; --high RETURN }; SELECT proc FROM ENDCASE => { beginReject[h, CrRPC.noSuchProcedure]; }; EXITS Finished => { NULL }; }; CrRPC.RegisterServerProc[pgm~1517, serverProc~Server, pgmVersion~1]; CrRPC.EnsureListener[class~$SPP]; }...