Symbol: __bp_harden_hyp_vecs