FFI/tests/PosixSemaphore: fix coding style
This is not in line with the rest of the repo, but it mimics glibc's coding style.
The other tests will be updated at one point as well.
This is not in line with the rest of the repo, but it mimics glibc's coding style.
The other tests will be updated at one point as well.