This document defines the coverage for the mq_receive function:

Assertion	Tested?
1		YES
2		YES
3		NO - implementation-defined, won't test.
4	 	YES
5		YES
6		NO - won't test.
7		YES
8		YES
9	 	YES
10		YES
11		YES
12		YES
13		YES
14		NO - won't test.