pub const WSDET_INCOMING_FAULT: WSDEventType = 2i32;