{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
        // Destination alloc preparations...
        let (dest_alloc, machine) = self.get_alloc_raw_mut(dest_alloc_id)?;