-static void
-dump_title_value(int level)
-{
- for (int i = 0; i <= level; i++)
- printf (" ");
-
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- if (data[pos] == 1 || data[pos] == 2 || data[pos] == 3 || data[pos] == 4)
- dump_value(level, true);
- else if (data[pos] == 5)
- dump_value__(level, true);
- else
- dump_substs(dump_title_value, level + 1);
-}
-
-static void
-dump_footnote_value(int level)
-{
- for (int i = 0; i <= level; i++)
- printf (" ");
-
- match_byte (0);
- match_byte (0);
- match_byte (0);
- match_byte (0);
- if (data[pos] == 2 || data[pos] == 4)
- dump_value(level, true);
- else if (data[pos] == 1 || data[pos] == 3 || data[pos] == 5)
- dump_value__(level, false);
- else
- dump_substs(dump_footnote_value, level + 1);
-}
-