<> <> <> PTSTestDefs: CEDAR DEFINITIONS = BEGIN Opa: TYPE; END.