Function exit_span 

pub fn exit_span(label: String)

Emit a SpanExit — always paired with its enter_span (the During arm emits it on every exit path, so spans stay balanced).