Constant WS_FAULT_ERROR_PROPERTY_FAULT 

pub const WS_FAULT_ERROR_PROPERTY_FAULT: WS_FAULT_ERROR_PROPERTY_ID;