# Global flags