Symbol: ATF_TP_ADD_TC