EFT_A9 #727 (EFT_A9)