{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"alloc_range(dest_offset,"}]}
            alloc_range(dest_offset, size), // just a single copy (i.e., not full `dest_range`)
            init,
            num_copies,