Symbol: termp_pp_pre