Symbol: assert_bp_constraints_lock_held