Trace extensions