- else if (match_u32 (1))
- {
- fprintf(stream, "<footnote-ref index=%d", get_u32());
- dump_nested_string(stream);
- fprintf(stream, "/>\n");
- }
- else if (match_u32 (2))
- {
- fprintf(stream, "<special2 %d %d", data[pos], data[pos + 2]);
- if (!match_byte(0) && !match_byte(1))
- match_byte_assert(2);
- match_byte_assert(0);
- if (!match_u32 (2) && !match_u32(1))
- match_u32_assert(3);
- dump_nested_string(stream);
- fprintf(stream, "/>\n");
- }