subprog_multi_ctx_tags
return subprog_ctx_tag(ctx) + subprog_multi_ctx_tags(ctx, &x, ctx);
return subprog_ctx_tag(ctx) + subprog_multi_ctx_tags(ctx, &x, ctx);
return subprog_ctx_tag(ctx) + subprog_multi_ctx_tags(ctx, &x, ctx);