- print ' for({handle.type} {i} = 0; {i} < {handle.range}; ++{i}) {{'.format(**locals())
- print ' __{handle.name}_map[static_cast<{handle.type}>({rvalue}) + {i}] = {lvalue} + {i};'.format(**locals())
- print ' if (verbosity >= 2)'
- print ' std::cout << "{handle.name} " << (static_cast<{handle.type}>({rvalue}) + {i}) << " -> " << ({lvalue} + {i}) << "\\n";'.format(**locals())
+ lvalue = "%s + %s" % (lvalue, i)
+ rvalue = "__orig_result + %s" % (i,)
+ entry = handle_entry(handle, rvalue)
+ print ' for ({handle.type} {i} = 0; {i} < {handle.range}; ++{i}) {{'.format(**locals())
+ print ' {entry} = {lvalue};'.format(**locals())
+ print ' if (retrace::verbosity >= 2) {'
+ print ' std::cout << "{handle.name} " << ({rvalue}) << " -> " << ({lvalue}) << "\\n";'.format(**locals())
+ print ' }'