pub const WS_TRACE_API_SET_FAULT_ERROR_PROPERTY: WS_TRACE_API;