{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"self.return_to_block(ret)?;"}]}
        self.return_to_block(ret)?;
        trace!("{:?}", self.dump_place(&dest.clone().into()));
        interp_ok(true)