<<>> <> <> <> 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]; }; }.