Example of FileEventProxy semaphore