We can trace most of simple instructions; need to customize the optimization passes (to trace added instructions)