<<>> <> <> <> <> DIRECTORY StdCorpse5OpaqueTest; StdCorpse5OpaqueTestImpl: CEDAR PROGRAM EXPORTS StdCorpse5OpaqueTest ~ { OpaqueType: PUBLIC TYPE ~ RECORD [ i: INT¬ 17, c: CARD¬ 13, a: ARRAY [1..17] OF CARD ¬ ALL[7] ]; MakeNewOpaqueRef: PUBLIC PROCEDURE [] RETURNS [StdCorpse5OpaqueTest.OpaqueRef] ~ { abc: StdCorpse5OpaqueTest.OpaqueRef ¬ NEW[OpaqueType]; abc.i ¬ 33; abc.a[10] ¬ 3; RETURN[abc]; }; }.