Definition B32_Div8 : channelDescriptionBitsDivisible8 B32 := eq_refl.
