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