Constant WS_TRACE_API_SET_FAULT_ERROR_DETAIL 

pub const WS_TRACE_API_SET_FAULT_ERROR_DETAIL: WS_TRACE_API;