Constant WS_CHANNEL_PROPERTY_ENCODER 

pub const WS_CHANNEL_PROPERTY_ENCODER: WS_CHANNEL_PROPERTY_ID;