semaphores (300411475) 'produced by' semaphore (300417340);