use CodeTracer#consume!