EFT_A9 #851 (EFT_A9)