{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    encode_store!(curr_idx, data_layout.endian, sz.bytes() as u32);
                rustc_abi::Integer::I64 => {