Heavy_quark_effective_theory loading ...