<> <> DIRECTORY DefaultTest; DefaultTestImpl: CEDAR PROGRAM EXPORTS DefaultTest = BEGIN OPEN DefaultTest; TestRecord: PUBLIC PROC [record: Record] RETURNS [REF Record] = { RETURN [NEW[Record _ record]]; }; TestCompiledRecord: PUBLIC PROC RETURNS [REF Record] = { record: Record; RETURN [NEW[Record _ record]]; }; END.