One last tweak to the tracing machinery: this actually computes what I intended

all along.  Before instr_lb tended to be too high.

I don't think this actually makes any difference, given what the compiler
produces, but it makes me a bit happier.