PJ: remove circ_get_next and circ_get_prev.
PJ: remove get_tail.
PJ: remove isin_list.
PJ: remove countf and vcountf.
PJ: remove init_ftextfarg.
PJ: remove sftextf and vsftextf.