static vsize get_footnote_count (SCM lines);
static SCM get_footnotes_from_lines (SCM lines);
static void add_footnotes_to_lines (SCM lines, int counter, Paper_book *pb);
static vsize get_footnote_count (SCM lines);
static SCM get_footnotes_from_lines (SCM lines);
static void add_footnotes_to_lines (SCM lines, int counter, Paper_book *pb);