{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"dest_bytes.write_bytes(value,"}]}
                dest_bytes.write_bytes(value, (size * num_copies).bytes_usize());
                let value = *src_bytes;
            } else if src_alloc_id == dest_alloc_id {