pub fn expected_case_count(xcr0: u64) -> usize
The number of cases case_list must produce for xcr0, derived independently of it (gate 5).
case_list
xcr0