{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":".into(),"}]}
                                .into(),
                            Interval { addr: addr.offset(self.ptr_size()), size: self.ptr_size() }
                        )