How many people have ever been prosecuted for that, though?

Walking across the street when the light is red is illegal. But everyone does it anyway, and "the law" does not seem to care much.