pub const WSDET_RESPONSE_TIMEOUT: WSDEventType = 4i32;