- job-offers <
               charset : RSS_CHARSET
               title : RSS_TITLE
               link : RSS_URL
               description : RSS_CHANNEL_DESC
               records : db-report 
             >
             (
               const -> 
                        if (const = RSS_TITLE) -> `const ' (' date ')'
                        else `const
             )
             ( 
               text -> say text
             )
' date <- .clock # RSS_DATE_FORMAT