<assertions>
  <assertion id="1" tag="ref:XSH6:25615:25615 pt:MSG">
mq_close will return zero after successful completion.
  </assertion>
  <assertion id="2" tag="ref:XSH6:25611:25613 pt:MSG">
All notification requests that have been successfully attached to
the message queue through the descriptor being closed will be removed,
so another process will be able to set up notification.
  </assertion>
  <assertion id="3" tag="ref:XSH6:25616:25619 pt:MSG">
Calling mq_close with an invalid descriptor will result in a
mq_close returning -1 and errno being set to EBADF.
  </assertion>
  <assertion id="4" tag="ref:XSH6:25607:25608 pt:MSG">
mq_close removes the association between the descriptor being closed and
the message queue it represents.
  </assertion>
  <assertion id="5" tag="ref:XSH6:25608:25610 pt:MSG">
It is undefined what will happen if mqdes is used after mq_close() is
successfully called and mq_open() has not been called again.
  </assertion>
</assertions>
