pub const WSDET_INCOMING_FAULT: WSDEventType;