<> <> <> DIRECTORY Rope USING[ Length, ROPE ], Target USING[ Basic, Consultation, Exception, Simple ], TargetRpcControl USING[ ImportInterface ], UserCredentials USING [Get]; TargetClientImpl: CEDAR PROGRAM IMPORTS Rope, Target, TargetRpcControl, UserCredentials = BEGIN user: Rope.ROPE; [name: user] _ UserCredentials.Get[]; TargetRpcControl.ImportInterface[interfaceName: [instance: user]]; DO Target.Basic[ ! Target.Consultation => RESUME ]; [,] _ Target.Simple[Rope.Length["a"], NEW[INT _ 4] ! Target.Exception => CONTINUE ]; ENDLOOP; END.