{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"Interval::new(arg0_addr,"}]}
            Interval::new(arg0_addr, self.size_of_sized(ty, locals, "atomic intrinsic type arg")?);
        let arg0_interval =
        if name.starts_with("load_") {