Constant WS_TRACE_API_GET_FAULT_ERROR_PROPERTY 

pub const WS_TRACE_API_GET_FAULT_ERROR_PROPERTY: WS_TRACE_API;