{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"terminator.span,"}]}
                                        terminator.span,
                                        *target,
                                    )?