<<>> <> <> <> StdCorpse5OpaqueTest: CEDAR DEFINITIONS ~ { OpaqueRef: TYPE ~ REF OpaqueType; OpaqueType: TYPE; MakeNewOpaqueRef: PROCEDURE [] RETURNS [OpaqueRef]; }.