That gives the following output which I don't think is much more readable.

  void f(int * a)
  {
    void * p = reinterpret_cast<void *>(&a);
    ***reinterpret_cast<int *(*)[]>(p) = 1;
  }