EFT_A9 #545 (EFT_A9)