Hui,

My "info record" patch helped me to find a bug.
I found that, once we start calling record_list_release_first,
we start adding two instructions to the log for every one
instruction we remove.  Therefore the log continues to grow,
even though it is supposed to remain constant in size.

This is because record_insn_num is not incremented if we
call record_list_release_first -- but record_list_release_first
does decrement it.

A one line fix corrects this problem (attached).

Michael