pub type WS_TYPE = i32;