Constant WS_FAULT_TO_HEADER

pub const WS_FAULT_TO_HEADER: WS_HEADER_TYPE;