port-name

       Is the name of the port being defined.
       It must be a simple name.

    record-name

       Is the name of a DECLARED record, or the full or relative
       dictionary path of the record definition to be associated
       with the port.

    ; (semicolon)

       Ends the port definition.