How should emergency roof hatches be handled during normal bus operation?

1. They may be locked partly open for fresh air, but should not be left open as a regular practice
2. They should always be fully open whenever passengers are aboard
3. They should be sealed shut to prevent passengers from using them
4. They may be open without considering vehicle clearance