Just a small comment on P2128R3. There is says

"generic interoperability with C-style pointer-to-pointer
arrays c"

I assume this refers to code like this to creat
something which looks like a multi-dimensional array:

double **x = xmalloc(N * sizeof(double*));

for (int i = 0; i < N; i++) {

  x[i] = xmalloc(M * sizeof(double));

  for (int j = 0; j < M; j++)
    x[i][j] = 0.;
}

  
I just want to point out that this is not how we
would do this in C since at least C99. Instead
we write:

double (*x)[M] = xmalloc(sizeof(double[N][M]));

x[i][j] = 0.;

or sometimes (to more clearly differentiate
between pointers and arrays):

double (*xp)[N][M] = xmalloc(sizeof *xp);

(*xp)[i][j] = 1.;


With this, you the multi-dimensional array is
a single object and one also gets run-time bounds
checking for free if the compiler supports this.

Best,
Martin