{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"mm.insert(addr.to_usize(),"}]}
                            mm.insert(addr.to_usize(), b.into());
                            let b = this.read_memory(addr, size)?;
                            if let Some(ty) = check_inner {