File ‹$AFP/Isabelle_C/src_ext/parser_menhir/tests/types.c›

typedef int X;
struct Y { short X; };

typedef struct foo { int x; } foo;
void test() {
   foo *foo;
   foo->x = 0;
}