first implementation of jump_kernel