-- assertion 3: not tested.
-- assertion 5: not tested.
-- assertion 6: Not tested.
-- assertion 7: Not tested.
-- assertion 8: is being tested in the sem_unlink test cases.