{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"decoder.with_position(footer_pos,"}]}
            decoder.with_position(footer_pos, |decoder| decode_tagged(decoder, TAG_FILE_FOOTER));
        let footer: Footer =