{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"dest_ptr"}]}
                    dest_ptr = dest_ptr.add(size_in_bytes);
                    ptr::copy(src_bytes, dest_ptr, size_in_bytes);
                }