Flags.backtracking

let backtracking (flags: flags) = get_flag_backtracking flags.flags FL_Backtracking