Symbol: termp_ex_pre