this file defines the coverage for the aio_write() function testing.

Assertion	Covered?
1		YES
2		YES
3		YES
4		YES
5		YES
6		YES
7		YES
8		YES
9		YES
10		NO
11		NO
12		NO
13		YES
