Constant HTTP_WEB_SOCKET_CLOSE_OPERATION 

pub const HTTP_WEB_SOCKET_CLOSE_OPERATION: HTTP_WEB_SOCKET_OPERATION;