Tracing.d.ts