{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"thin_vec![primal_call.clone()],"}]}
            thin_vec![primal_call.clone()],
            blackbox_call_expr.clone(),
        );