Re: [pypy-dev] jit-bounds branch (was: Loop invaraints)