A green arrow shown with a red light at an intersection means what?

1. You may turn in the direction of the arrow after yielding to crossing pedestrians
2. You must stop because the red light overrides the arrow
3. All traffic in your lane may proceed straight ahead
4. The arrow is a malfunction and should be ignored