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