<> <> <> <> DIRECTORY StdCorpse5OpaqueTest USING[OpaqueRef, MakeNewOpaqueRef], RefTab, Rope; OpaqueTest: CEDAR PROGRAM IMPORTS StdCorpse5OpaqueTest, RefTab = BEGIN Zorch: TYPE ~ REF Zorch; z0: Zorch _ NIL; z1: Zorch _ NEW[Zorch _ z0]; z2: Zorch _ NEW[Zorch _ z1]; DoOpaqueTest: PROC ~ { var: StdCorpse5OpaqueTest.OpaqueRef _ StdCorpse5OpaqueTest.MakeNewOpaqueRef[]; reftab: RefTab.Ref _ RefTab.Create[]; a: INT _ 19; h: CARD _ 7; g: INT _ -3; [] _ RefTab.Insert[reftab, var, NEW[INT _ a]]; [] _ RefTab.Fetch[reftab, var]; a _ a + 23; h _ g; }; DoOpaqueTest[]; END.