assert_posix_success
assert_posix_success(munmap(address, 4096));
assert_posix_success(sem_unlink(kSemName1));
assert_posix_success(sem_unlink(kSemName1));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_close(sem2));
assert_posix_success(sem_init(&sem, 0, 1));
assert_posix_success(sem_destroy(&sem));
assert_posix_success(sem_init(&sem, 0, 1));
assert_posix_success(sem_init(&sem2, 0, 2));
assert_posix_success(sem_destroy(&sem));
assert_posix_success(sem_destroy(&sem2));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_init(&sem, 0, 1));
assert_posix_success(sem_destroy(&sem));
assert_posix_success(sem_destroy(&sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_trywait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_trywait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_timedwait(sem,
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_timedwait(sem,
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_init(&_sem, 0, 1));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_trywait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_trywait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_timedwait(sem,
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_timedwait(sem,
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_destroy(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_timedwait(sem,
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_timedwait(sem,
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_init(&_sem, 0, 1));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_destroy(sem));
assert_posix_success(sem_init(sem, 1, 0));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_wait(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_timedwait(sem,
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_close(sem));
assert_posix_success(sem_post(sem));
assert_posix_success(sem_getvalue(sem, &value));
assert_posix_success(sem_destroy(sem));