pub type WSDEventType = i32;