Edit File: semaphore_tracker.py