Constant WS_FAULT_TO_HEADER 

pub const WS_FAULT_TO_HEADER: WS_HEADER_TYPE;