pub const httpd_ws_type_t_HTTPD_WS_TYPE_PING: u32 = 9; // 9u32