<> <> DefaultTest: CEDAR DEFINITIONS = BEGIN CARD: TYPE = LONG CARDINAL; Biased: TYPE = [1..15]; Unbiased: TYPE = [0..15]; DefaultInt: INT = 1; DefaultBiased: Biased = 1; DefaultUnbiased: Unbiased = 1; RCType: TYPE = RECORD [ SELECT tag: * FROM smallUnbiased => [Unbiased], smallBiased => [Biased], largeNonRC => [INT], largeRC => [REF], ENDCASE]; DefaultRCType: RCType = [smallUnbiased[1]]; Record: TYPE = RECORD [ argRC: RCType _ DefaultRCType, argIC: INT _ 1, argII: INT _ DefaultInt, argIB: INT _ DefaultBiased, argIU: INT _ DefaultUnbiased, argBC: Biased _ 1, argBI: Biased _ DefaultInt, argBB: Biased _ DefaultBiased, argBU: Biased _ DefaultUnbiased, argUC: Unbiased _ 1, argUI: Unbiased _ DefaultInt, argUB: Unbiased _ DefaultBiased, argUU: Unbiased _ DefaultUnbiased, argLCC: CARD _ 1, argLCI: CARD _ DefaultInt, argLCB: CARD _ DefaultBiased, argLCU: CARD _ DefaultUnbiased]; TestRecord: PROC [record: Record] RETURNS [REF Record]; TestCompiledRecord: PROC RETURNS [REF Record]; END.