Constant HTTP_WEB_SOCKET_ENDPOINT_TERMINATED_CLOSE_STATUS 

pub const HTTP_WEB_SOCKET_ENDPOINT_TERMINATED_CLOSE_STATUS: HTTP_WEB_SOCKET_CLOSE_STATUS;