Snippets: Taking the High Road to a Low Level
Debugging optimized code with dynamic deoptimization