EFT_A9 #716 (EFT_A9)