EFT_A9 #817 (EFT_A9)