Constant WS_CHANNEL_PROPERTY_RECEIVE_TIMEOUT 

pub const WS_CHANNEL_PROPERTY_RECEIVE_TIMEOUT: WS_CHANNEL_PROPERTY_ID;