Constant WS_TRACE_API_SET_ERROR_PROPERTY 

pub const WS_TRACE_API_SET_ERROR_PROPERTY: WS_TRACE_API;