spectre_bhb_loop_affected
} else if (spectre_bhb_loop_affected()) {
max_bhb_k = max(max_bhb_k, spectre_bhb_loop_affected());