Constant WS_TRACE_API_RESET_CHANNEL 

pub const WS_TRACE_API_RESET_CHANNEL: WS_TRACE_API;