Definition A64_Div8 : channelDescriptionBitsDivisible8 A64 := eq_refl.
