<<>> <> <> <> <> ThSmartsSunExport: CEDAR DEFINITIONS ~ BEGIN ExportInterface: PROC [port: CARD_0] RETURNS [uniquePort: CARD]; <> END. <> <> <> <> <> <> <> <<>>