Symbol: termp_fn_pre