pub const WS_UINT32_TYPE: WS_TYPE;