How does a pedestrian crossing work?