Simplify JIT reentry (and renamed the label value)