pub const WSDET_RESPONSE_TIMEOUT: WSDEventType;