further post jump optimizations