EFT_A15 #3252 (EFT_A15)