Symbol: termp_fo_pre