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