A pedestrian traffic light at an intersection turns green.