Better names for InterruptFlags.