Symbol: termp_bf_pre