{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"prev_side_effects_index:"}]}
            prev_side_effects_index: footer.side_effects_index.into_iter().collect(),
            query_result_index: footer.query_result_index.into_iter().collect(),
            alloc_decoding_state: AllocDecodingState::new(footer.interpret_alloc_index),