pub const WS_CHANNEL_STATE_FAULTED: WS_CHANNEL_STATE = 4i32;