<s> SEMAPHORE_INIT = <NUM_LIT> <EOL> SEMAPHORE_ACQUIRE = <NUM_LIT> <EOL> SEMAPHORE_AVAILABLEPERMITS = <NUM_LIT> <EOL> SEMAPHORE_DRAINPERMITS = <NUM_LIT> <EOL> SEMAPHORE_REDUCEPERMITS = <NUM_LIT> <EOL> SEMAPHORE_RELEASE = <NUM_LIT> <EOL> SEMAPHORE_TRYACQUIRE = <NUM_LIT> </s>
