new jump_detector added
max_val() added...