Writing Trace Into Code