l4/pkg/semaphore/doc/example
