{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"Interval::new(addr,"}]}
                Interval::new(addr, self.ptr_size())
                let addr = self.eval_static(*st, locals)?;
            }