Symbol: termp__t_pre