Constant WS_REPLY_TO_HEADER 

pub const WS_REPLY_TO_HEADER: WS_HEADER_TYPE;