EFT_A9 #2532 (EFT_A9)