Constant ZX_PROP_CHANNEL_TX_MSG_MAX 

pub const ZX_PROP_CHANNEL_TX_MSG_MAX: u32 = 14 /* 14u32 */;