Constant WS_CHANNEL_PROPERTY_ENVELOPE_VERSION 

pub const WS_CHANNEL_PROPERTY_ENVELOPE_VERSION: WS_CHANNEL_PROPERTY_ID;