void foo(int *x) {
  typeof(x) y;    // Declares y with the type of x
  typeof(*x) z;   // Declare z with the type what x points to
  ...
}