Searched refs:footnote_nr (Results 1 – 1 of 1) sorted by relevance
1516 int footnote_nr = 0; in dump() local1568 footnote_register_offset = ++footnote_nr; in dump()1598 footnote_register_type_name_null = ++footnote_nr; in dump()