
I need to declare a function that writes into a matrix C of given size using pointer parameters:
void multiply(int** A, int** B, int** C, unsigned int m, unsigned int n, unsigned int p)
I don't know how to express the list of memory locations &C[i][j] where 0<=i<=m and 0<=j<=p for passing to "_(writes)". "Array_range" takes only one indexing parameter so it doesn't work.

