pub const WS_CHANNEL_STATE_CLOSED: WS_CHANNEL_STATE;