pub const WS_CHANNEL_PROPERTY_STATE: WS_CHANNEL_PROPERTY_ID;