pub const WS_INT32_TYPE: WS_TYPE;