Constant WS_CHANNEL_STATE_FAULTED 

pub const WS_CHANNEL_STATE_FAULTED: WS_CHANNEL_STATE;