l4/pkg/semaphore/examples/bench
