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