File ‹$AFP/Isabelle_C/src_ext/parser_menhir/tests/function-decls.c›

void foo() {
  int X;
  X = sizeof(void (*(*)())());
  X = sizeof(int(*)(int, float, ...));
  X = sizeof(void (*(int arga, void (*argb)(double Y)))(void* Z));
}