<assertions>
  <assertion id="2" tag="pt:MSG" files="mqueues/notify.c">
   When a message is available on a Queue, process can be notified that and
   prepare to receive the message.
  </assertion>
  <assertion id="1" tag="pt:MSG" files="mqueues/send_rev_1.c">
   Two processes can read/write from the same message queue at the same time.
  </assertion>
  <assertion id="3" tag="pt:MSG" files="mqueues/send_rev_2.c">
   Two threads sending/receiving on different message queue, and
   set different Priority to the messages in the message queue, to
   see whether the highest priority is received first.
 </assertion>
</assertions>