JIT unless_s0 and if_s0