{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"sig_span,"}]}
            sig_span,
        let black_box_remaining_args = ecx.expr_call(
            blackbox_call_expr.clone(),