next_jump_key
index = next_jump_key(index);
jump_key_char = next_jump_key(jump_key_char);
int next_jump_key(int key);