What does a green arrow traffic light pointing to the right mean when the main round lens is red?

1. You may turn right in the direction of the arrow, provided you yield to pedestrians crossing and cross-traffic
2. All traffic must turn right, and going straight is permanently banned
3. You have absolute priority to turn right without yielding to pedestrians
4. The right turn is reserved exclusively for ambulances