Definition A32_Div8 : channelDescriptionBitsDivisible8 A32 := eq_refl.
