```c typedef int foo [10]; foo bar; ``` Is rewritten to (`-alltypes`) ```c typedef int _Checked[10] foo; foo bar; ```