{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":".slice(self.ptr_size()..2"}]}
                    .slice(self.ptr_size()..2 * self.ptr_size())
                destination
                    .write_from_bytes(self, &len.to_le_bytes())