{"ast_node_type":"variable","tokens":[{"end":27,"kind":"keyword","start":0,"text":"let"}]}
        let arg0_interval =
        let arg0_addr = Address::from_bytes(arg0.get(self)?)?;
            Interval::new(arg0_addr, self.size_of_sized(ty, locals, "atomic intrinsic type arg")?);