Updated Herdle's conditional jumps