Constant WS_CHANNEL_PROPERTY_HTTP_CONNECTION_ID 

pub const WS_CHANNEL_PROPERTY_HTTP_CONNECTION_ID: WS_CHANNEL_PROPERTY_ID;