Leading pedestrian interval