Constant WS_CHANNEL_PROPERTY_ENCODING 

pub const WS_CHANNEL_PROPERTY_ENCODING: WS_CHANNEL_PROPERTY_ID;