jump0_jumpdest0 is passing