Symbol: emit_semaphore_signal