EFT_A9 #1138 (EFT_A9)