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