A better name for 'it is time to quit' flag