[Python-Dev] Re: Non-monotonically increasing line numbers in dis.findlinestarts() output