<> <> <> <> DIRECTORY CrRPC, Rope, TimeP15V2, CHNameP2V0, FilingAttributesP10V5; FilingAttributesP10V5Init: CEDAR PROGRAM EXPORTS FilingAttributesP10V5 ~ { OPEN FilingAttributesP10V5; ROPE: TYPE ~ Rope.ROPE; InitProc1: PROC RETURNS [result: Position] ~ { result _ NEW[PositionObject[1]]; result.body[0] _ 0; }; firstPosition: PUBLIC Position _ InitProc1[]; InitProc2: PROC RETURNS [result: Position] ~ { result _ NEW[PositionObject[1]]; result.body[0] _ 65535; }; lastPosition: PUBLIC Position _ InitProc2[]; }...