Here's one example of where I've used this:

    void wlr_matrix_multiply(float mat[static 9], const float a[static 9],
    	const float b[static 9]);