<> <> <> DIRECTORY RPCPkt USING [ Machine ]; LarkRemoteControl: CEDAR DEFINITIONS = { BootLark: PROC[lark: RPCPkt.Machine] RETURNS [outcome: BOOL]; }. <> <> <> <> <<>>