-- Stub file was translated on December 19, 1983 1:38 pm by Lupine of October 25, 1983 10:51 am -- Source interface Lark came from file Lark.bcd, which was created on December 19, 1983 1:34 pm with version stamp 363B#357B#6104565341B from source of December 19, 1983 1:34 pm. -- The RPC stub modules for Lark are: -- LarkRpcControl.mesa; -- LarkRpcClientImpl.mesa; -- LarkRpcBinderImpl.mesa; -- LarkRpcServerImpl.mesa. -- The parameters for this translation are: -- Target language = Cedar -- Default parameter passing = VALUE -- Deallocate server heap arguments = TRUE -- Inline RpcServerImpl dispatcher stubs = FALSE -- Declare signals = TRUE -- Warn about short POINTER ("MDS") allocations = TRUE -- Maximum number of dynamic heap NEWs = 50, MDS NEWs = 50 -- Acceptable parameter protocols = VersionRange[1..1]. DIRECTORY DESFace, PupTypes, RPC, RPCPkt, Lark, LarkRpcControl USING [InterMdsCallsOnly, LupineProtocolVersion, ProcedureIndex, SignalIndex], RPCLupine --USING SOME OF [Call, DataLength, Dispatcher, ExportHandle, -- ExportInterface, GetStubPkt, maxDataLength, maxPrincipalLength, -- maxShortStringLength, pktOverhead, ReceiveExtraPkt, SendPrelimPkt, -- StartCall, StartSignal, StubPkt, UnexportInterface]--, LupineRuntime --USING SOME OF [BindingError, CheckPktLength, CopyFromPkt, -- CopyFromMultiplePkts, CopyToPkt, CopyToMultiplePkts, defaultZones, -- DispatchingError, FinishThisPkt, ListHeader, MarshalingError, -- MarshalingExprError, NilHeader, ProtocolError, RopeHeader, RpcPktDoubleWord, -- RuntimeError, SequenceHeader, SHORT, StartNextPkt, StringHeader, -- StubPktDoubleWord, TranslationError, UnmarshalingError, UnmarshalingExprError, -- WordsForChars]--, Atom --USING SOME OF [GetPName, MakeAtom]--, Rope --USING SOME OF [InlineFlatten, Length, NewText, Text]--; LarkRpcServerImpl: MONITOR IMPORTS Lark, RpcPrivate: RPCLupine, Lupine: LupineRuntime, Atom, Rope EXPORTS LarkRpcControl SHARES Lark, LarkRpcControl, Rope = BEGIN OPEN Lark, RpcControl: LarkRpcControl, RpcPublic: RPC; -- Standard remote binding routines. bound: BOOLEAN ← FALSE; myInterface: RpcPrivate.ExportHandle; paramZones: RpcPublic.Zones ← RpcPublic.standardZones; ExportInterface: PUBLIC ENTRY SAFE PROCEDURE [ interfaceName: RpcPublic.InterfaceName, user: RpcPublic.Principal, password: RpcPublic.EncryptionKey, parameterStorage: RpcPublic.Zones ] = TRUSTED BEGIN ENABLE UNWIND => NULL; IsNull: PROCEDURE [string: Rope.ROPE] RETURNS [BOOLEAN] = INLINE {RETURN[string.Length[] = 0]}; IF bound THEN Lupine.BindingError; myInterface ← RpcPrivate.ExportInterface [ interface: [ type: IF ~IsNull[interfaceName.type] THEN interfaceName.type ELSE "Lark~363B#357B#6104565341B", instance: interfaceName.instance, version: interfaceName.version ], user: user, password: password, dispatcher: ServerDispatcher, localOnly: RpcControl.InterMdsCallsOnly, stubProtocol: RpcControl.LupineProtocolVersion ]; paramZones ← [ gc: IF parameterStorage.gc # NIL THEN parameterStorage.gc ELSE Lupine.defaultZones.gc, heap: IF parameterStorage.heap # NIL THEN parameterStorage.heap ELSE Lupine.defaultZones.heap, mds: IF parameterStorage.mds # NIL THEN parameterStorage.mds ELSE Lupine.defaultZones.mds ]; bound ← TRUE; END; UnexportInterface: PUBLIC ENTRY SAFE PROCEDURE = TRUSTED BEGIN ENABLE UNWIND => NULL; IF ~bound THEN Lupine.BindingError; myInterface ← RpcPrivate.UnexportInterface[myInterface]; paramZones ← RpcPublic.standardZones; bound ← FALSE; END; -- Public procedure dispatcher and public signal and error catcher. ServerDispatcher: --PROCEDURE [pkt: RPCPkt, callLength: DataLength, -- lastPkt: BOOLEAN, localConversation: Conversation] RETURNS [returnLength: -- DataLength]-- RpcPrivate.Dispatcher = BEGIN -- Catch public signals. ENABLE BEGIN END; -- Catch public signals. -- Call public procedures (still in dispatcher). SELECT LOOPHOLE[pkt.data[0], RpcControl.ProcedureIndex] FROM Reset => RETURN[ ResetStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; GenerateTones => RETURN[ GenerateTonesStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; Feep => RETURN[ FeepStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; Commands => RETURN[ CommandsStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; Connect => RETURN[ ConnectStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; Disconnect => RETURN[ DisconnectStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; PleaseRegister => RETURN[ PleaseRegisterStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; WhatIsStatus => RETURN[ WhatIsStatusStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; WhatAreConnections => RETURN[ WhatAreConnectionsStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; WhatAreTones => RETURN[ WhatAreTonesStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; SetKeyTable => RETURN[ SetKeyTableStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; CommandString => RETURN[ CommandStringStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; PleaseLogin => RETURN[ PleaseLoginStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; EchoSupression => RETURN[ EchoSupressionStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; SetHostNumber => RETURN[ SetHostNumberStub[pkt: pkt, callLength: callLength, lastPkt: lastPkt, localConversation: localConversation]]; ENDCASE => RETURN[Lupine.DispatchingError[]]; END; -- ServerDispatcher -- Public procedure dispatcher stubs. ResetStub: --PROCEDURE [shh: SHHH, rName: ROPE]-- RpcPrivate.Dispatcher = BEGIN rName: ROPE; pktLength: RpcPrivate.DataLength ← 1; BEGIN -- Unmarshal rName: ROPE from pkt.data[pktLength]. ropeIsNIL: Lupine.NilHeader; ropeIsNIL ← pkt.data[pktLength]; pktLength ← pktLength+1; IF ropeIsNIL THEN rName ← NIL ELSE BEGIN ropeLength: Lupine.RopeHeader; textRope: Rope.Text; ropeLength ← pkt.data[pktLength]; pktLength ← pktLength+1; IF ropeLength > RpcPrivate.maxShortStringLength THEN Lupine.UnmarshalingError; rName ← textRope ← Rope.NewText[size: ropeLength]; pktLength ← Lupine.CopyFromPkt[pkt: pkt, pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]], dataLength: Lupine.WordsForChars[ropeLength], alwaysOnePkt: TRUE]; END; -- IF ropeIsNIL. END; -- Unmarshal rName. Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; Reset[localConversation, rName]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- ResetStub. GenerateTonesStub: --PROCEDURE [shh: SHHH, f1: Hertz, f2: Hertz, -- modulation: Hertz, on: Milliseconds, off: Milliseconds, repetitions: -- CARDINAL, waveTable: CARDINAL, queueIt: BOOLEAN, notify: CommandEvent] -- RETURNS [ok: BOOLEAN]-- RpcPrivate.Dispatcher = BEGIN ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [ transferIndex (0): RpcControl.ProcedureIndex, f1 (1): Hertz, f2 (2): Hertz, modulation (3): Hertz, on (4): Milliseconds, off (5): Milliseconds, repetitions (6): CARDINAL, waveTable (7): CARDINAL, queueIt (8): BOOLEAN, notify (9): CommandEvent]; ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [ ok (0): BOOLEAN]; argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0]; resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 10; Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; [resPkt.ok] ← GenerateTones[localConversation, argPkt.f1, argPkt.f2, argPkt.modulation, argPkt.on, argPkt.off, argPkt.repetitions, argPkt.waveTable, argPkt.queueIt, argPkt.notify]; pktLength ← 1; RETURN[returnLength: pktLength]; END; -- GenerateTonesStub. FeepStub: --PROCEDURE [shh: SHHH, on: Milliseconds, off: Milliseconds, -- waveTable: CARDINAL, queueIt: BOOLEAN, notify: CommandEvent, events: -- CommandEvents] -- RETURNS [ok: BOOLEAN]-- RpcPrivate.Dispatcher = BEGIN events: CommandEvents; ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [ transferIndex (0): RpcControl.ProcedureIndex, on (1): Milliseconds, off (2): Milliseconds, waveTable (3): CARDINAL, queueIt (4): BOOLEAN, notify (5): CommandEvent]; ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [ ok (0): BOOLEAN]; argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0]; resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 6; BEGIN -- Unmarshal events: CommandEvents from pkt.data[pktLength]. BEGIN -- Unmarshal events↑: CommandEventSequence from pkt.data[pktLength]. recordIsNIL: Lupine.NilHeader; recordIsNIL ← pkt.data[pktLength]; pktLength ← pktLength+1; IF recordIsNIL THEN events ← NIL ELSE BEGIN seqLength: Lupine.SequenceHeader; seqLength ← Lupine.RpcPktDoubleWord[pkt, pktLength]↑; pktLength ← pktLength + 2; events ← (paramZones.gc.NEW[CommandEventSequence[Lupine.SHORT[seqLength]]]); pktLength ← Lupine.CopyFromPkt[pkt: pkt, pktLength: pktLength, dataAdr: LOOPHOLE[events], dataLength: SIZE[CommandEventSequence[LENGTH[DESCRIPTOR[events↑]]]], alwaysOnePkt: TRUE]; END; -- IF recordIsNIL. END; -- Unmarshal events↑. END; -- Unmarshal events. Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; [resPkt.ok] ← Feep[localConversation, argPkt.on, argPkt.off, argPkt.waveTable, argPkt.queueIt, argPkt.notify, events]; pktLength ← 1; RETURN[returnLength: pktLength]; END; -- FeepStub. CommandsStub: --PROCEDURE [shh: SHHH, events: CommandEvents]-- RpcPrivate.Dispatcher = BEGIN events: CommandEvents; pktLength: RpcPrivate.DataLength ← 1; BEGIN -- Unmarshal events: CommandEvents from pkt.data[pktLength]. BEGIN -- Unmarshal events↑: CommandEventSequence from pkt.data[pktLength]. recordIsNIL: Lupine.NilHeader; recordIsNIL ← pkt.data[pktLength]; pktLength ← pktLength+1; IF recordIsNIL THEN events ← NIL ELSE BEGIN seqLength: Lupine.SequenceHeader; seqLength ← Lupine.RpcPktDoubleWord[pkt, pktLength]↑; pktLength ← pktLength + 2; events ← (paramZones.gc.NEW[CommandEventSequence[Lupine.SHORT[seqLength]]]); pktLength ← Lupine.CopyFromPkt[pkt: pkt, pktLength: pktLength, dataAdr: LOOPHOLE[events], dataLength: SIZE[CommandEventSequence[LENGTH[DESCRIPTOR[events↑]]]], alwaysOnePkt: TRUE]; END; -- IF recordIsNIL. END; -- Unmarshal events↑. END; -- Unmarshal events. Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; Commands[localConversation, events]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- CommandsStub. ConnectStub: --PROCEDURE [shh: SHHH, specs: ConnectionSpec]-- RpcPrivate.Dispatcher = BEGIN specs: ConnectionSpec; pktLength: RpcPrivate.DataLength ← 1; BEGIN -- Unmarshal specs: ConnectionSpec from pkt.data[pktLength]. isNIL: Lupine.NilHeader; isNIL ← pkt.data[pktLength]; pktLength ← pktLength+1; IF isNIL THEN specs ← NIL ELSE BEGIN specs ← (paramZones.gc.NEW[ConnectionSpecRec]); BEGIN -- Unmarshal specs↑: ConnectionSpecRec from pkt.data[pktLength]. pktLength ← Lupine.CopyFromPkt[pkt: pkt, pktLength: pktLength, dataAdr: LOOPHOLE[specs], dataLength: SIZE[ConnectionSpecRec], alwaysOnePkt: TRUE]; END; -- Unmarshal specs↑. END; -- IF isNIL. END; -- Unmarshal specs. Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; Connect[localConversation, specs]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- ConnectStub. DisconnectStub: --PROCEDURE [shh: SHHH, buffer: VoiceBuffer]-- RpcPrivate.Dispatcher = BEGIN ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [ transferIndex (0): RpcControl.ProcedureIndex, buffer (1): VoiceBuffer]; argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 2; Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; Disconnect[localConversation, argPkt.buffer]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- DisconnectStub. PleaseRegisterStub: --PROCEDURE [shh: SHHH]-- RpcPrivate.Dispatcher = BEGIN pktLength: RpcPrivate.DataLength ← 1; Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; PleaseRegister[localConversation]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- PleaseRegisterStub. WhatIsStatusStub: --PROCEDURE [shh: SHHH, which: CARDINAL] RETURNS -- [next: CARDINAL, events: StatusEvents]-- RpcPrivate.Dispatcher = BEGIN events: StatusEvents; ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [ transferIndex (0): RpcControl.ProcedureIndex, which (1): CARDINAL]; ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [ next (0): CARDINAL]; argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0]; resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 2; Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; [resPkt.next, events] ← WhatIsStatus[localConversation, argPkt.which]; pktLength ← 1; BEGIN -- Marshal events: StatusEvents to pkt.data[pktLength]. BEGIN -- Marshal events↑: StatusEventSequence to pkt.data[pktLength]. pkt.data[pktLength] ← events=NIL; pktLength ← pktLength+1; IF events # NIL THEN BEGIN -- Record has a sequence, put its length up front. Lupine.RpcPktDoubleWord[pkt, pktLength]↑ ← LENGTH[DESCRIPTOR[events↑]]; pktLength ← pktLength + 2; pktLength ← Lupine.CopyToPkt[pkt: pkt, pktLength: pktLength, dataAdr: LOOPHOLE[events], dataLength: SIZE[StatusEventSequence[LENGTH[DESCRIPTOR[events↑]]]], alwaysOnePkt: TRUE]; END; -- IF events # NIL. END; -- Marshal events↑. END; -- Marshal events. RETURN[returnLength: pktLength]; END; -- WhatIsStatusStub. WhatAreConnectionsStub: --PROCEDURE [shh: SHHH, which: CARDINAL] -- RETURNS [next: CARDINAL, specs: ConnectionSpec]-- RpcPrivate.Dispatcher = BEGIN specs: ConnectionSpec; ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [ transferIndex (0): RpcControl.ProcedureIndex, which (1): CARDINAL]; ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [ next (0): CARDINAL]; argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0]; resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 2; Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; [resPkt.next, specs] ← WhatAreConnections[localConversation, argPkt.which]; pktLength ← 1; BEGIN -- Marshal specs: ConnectionSpec to pkt.data[pktLength]. pkt.data[pktLength] ← specs=NIL; pktLength ← pktLength+1; IF specs # NIL THEN BEGIN -- Marshal specs↑: ConnectionSpecRec to pkt.data[pktLength]. pktLength ← Lupine.CopyToPkt[pkt: pkt, pktLength: pktLength, dataAdr: LOOPHOLE[specs], dataLength: SIZE[ConnectionSpecRec], alwaysOnePkt: TRUE]; END; -- Marshal specs↑. END; -- Marshal specs. RETURN[returnLength: pktLength]; END; -- WhatAreConnectionsStub. WhatAreTonesStub: --PROCEDURE [shh: SHHH] RETURNS [anonP1id2593838: -- BOOLEAN]-- RpcPrivate.Dispatcher = BEGIN ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [ anonP1id2593838 (0): BOOLEAN]; resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 1; Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; [resPkt.anonP1id2593838] ← WhatAreTones[localConversation]; pktLength ← 1; RETURN[returnLength: pktLength]; END; -- WhatAreTonesStub. SetKeyTableStub: --PROCEDURE [shh: SHHH, table: KeyTable]-- RpcPrivate.Dispatcher = BEGIN table: KeyTable; pktLength: RpcPrivate.DataLength ← 1; BEGIN -- Unmarshal table: KeyTable from pkt.data[pktLength]. BEGIN -- Unmarshal table↑: KeyTableBody from pkt.data[pktLength]. recordIsNIL: Lupine.NilHeader; recordIsNIL ← pkt.data[pktLength]; pktLength ← pktLength+1; IF recordIsNIL THEN table ← NIL ELSE BEGIN seqLength: Lupine.SequenceHeader; seqLength ← Lupine.RpcPktDoubleWord[pkt, pktLength]↑; pktLength ← pktLength + 2; table ← (paramZones.gc.NEW[KeyTableBody[Lupine.SHORT[seqLength]]]); pktLength ← Lupine.CopyFromPkt[pkt: pkt, pktLength: pktLength, dataAdr: LOOPHOLE[table], dataLength: SIZE[KeyTableBody[LENGTH[DESCRIPTOR[table↑]]]], alwaysOnePkt: TRUE]; END; -- IF recordIsNIL. END; -- Unmarshal table↑. END; -- Unmarshal table. Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; SetKeyTable[localConversation, table]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- SetKeyTableStub. CommandStringStub: --PROCEDURE [shh: SHHH, device: Device, commands: -- ROPE]-- RpcPrivate.Dispatcher = BEGIN commands: ROPE; ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [ transferIndex (0): RpcControl.ProcedureIndex, device (1): Device]; argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 2; BEGIN -- Unmarshal commands: ROPE from pkt.data[pktLength]. ropeIsNIL: Lupine.NilHeader; ropeIsNIL ← pkt.data[pktLength]; pktLength ← pktLength+1; IF ropeIsNIL THEN commands ← NIL ELSE BEGIN ropeLength: Lupine.RopeHeader; textRope: Rope.Text; ropeLength ← pkt.data[pktLength]; pktLength ← pktLength+1; IF ropeLength > RpcPrivate.maxShortStringLength THEN Lupine.UnmarshalingError; commands ← textRope ← Rope.NewText[size: ropeLength]; pktLength ← Lupine.CopyFromPkt[pkt: pkt, pktLength: pktLength, dataAdr: BASE[DESCRIPTOR[textRope.text]], dataLength: Lupine.WordsForChars[ropeLength], alwaysOnePkt: TRUE]; END; -- IF ropeIsNIL. END; -- Unmarshal commands. Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; CommandString[localConversation, argPkt.device, commands]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- CommandStringStub. PleaseLoginStub: --PROCEDURE [shh: SHHH] RETURNS [will: BOOL]-- RpcPrivate.Dispatcher = BEGIN ResultOverlay: TYPE = MACHINE DEPENDENT RECORD [ will (0): BOOL]; resPkt: LONG POINTER TO ResultOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 1; Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; [resPkt.will] ← PleaseLogin[localConversation]; pktLength ← 1; RETURN[returnLength: pktLength]; END; -- PleaseLoginStub. EchoSupressionStub: --PROCEDURE [shh: SHHH, echo: EchoParameters]-- RpcPrivate.Dispatcher = BEGIN echo: EchoParameters; pktLength: RpcPrivate.DataLength ← 1; BEGIN -- Unmarshal echo: EchoParameters from pkt.data[pktLength]. isNIL: Lupine.NilHeader; isNIL ← pkt.data[pktLength]; pktLength ← pktLength+1; IF isNIL THEN echo ← NIL ELSE BEGIN echo ← (paramZones.gc.NEW[EchoParameterRecord]); BEGIN -- Unmarshal echo↑: EchoParameterRecord from pkt.data[pktLength]. pktLength ← Lupine.CopyFromPkt[pkt: pkt, pktLength: pktLength, dataAdr: LOOPHOLE[echo], dataLength: SIZE[EchoParameterRecord], alwaysOnePkt: TRUE]; END; -- Unmarshal echo↑. END; -- IF isNIL. END; -- Unmarshal echo. Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; EchoSupression[localConversation, echo]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- EchoSupressionStub. SetHostNumberStub: --PROCEDURE [shh: SHHH, host: Machine]-- RpcPrivate.Dispatcher = BEGIN ArgumentOverlay: TYPE = MACHINE DEPENDENT RECORD [ transferIndex (0): RpcControl.ProcedureIndex, host (1): Machine]; argPkt: LONG POINTER TO ArgumentOverlay = @pkt.data[0]; pktLength: RpcPrivate.DataLength ← 2; Lupine.CheckPktLength[pkt: pkt, pktLength: pktLength]; SetHostNumber[localConversation, argPkt.host]; pktLength ← 0; RETURN[returnLength: pktLength]; END; -- SetHostNumberStub. -- No module initialization. END. -- LarkRpcServerImpl.