EFT_A9 #723 (EFT_A9)