{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"IntEncodedWithFixedSize(footer_pos).encode(&mut"}]}
            IntEncodedWithFixedSize(footer_pos).encode(&mut encoder.encoder);
            // file so we know where to look for it.