Constant WS_CHANNEL_PROPERTY_DECODER 

pub const WS_CHANNEL_PROPERTY_DECODER: WS_CHANNEL_PROPERTY_ID = 37i32;