ecpdap::bitvec
pub fn drain_u32(bits: &[bool]) -> Result<(u32, &[bool])>
Extract the next 32 bits as a u32.