{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"dest_alloc.init_mask_apply_copy("}]}
        dest_alloc.init_mask_apply_copy(
        // now fill in all the "init" data
            init,