Definition A16_Div8 : channelDescriptionBitsDivisible8 A16 := eq_refl.
