prettyrobots: where in the code is the semaphore bit?