kill dead code, an attempt to see how simix semaphores work