Semaphore implementation with 3 functions:

void proberen(int32_t *semaphore, int32_t value);
void verhogen(int32_t *semaphore, int32_t value);
uint64_t proberen_time(int32_t *semaphore, int32_t value);