pub const httpd_ws_type_t_HTTPD_WS_TYPE_CLOSE: u32 = 8; // 8u32