EFT_A9 #890 (EFT_A9)