<> <> <> <> <> DIRECTORY CD; RoutingCheck: CEDAR DEFINITIONS = BEGIN Check: PROC [design: CD.Design]; CheckObject: PROC [obj: CD.Object]; END.