pub const WSPOINTER_WSDOUBLE: i32 = 182;