The following declaration ```c int f(int n, float a[restrict n]); ``` does not yield the correct AST, both the `restrict` qualifier and the length `n` are lost. This snippet parses fine: ```c int f(int n, float a[n]); ```