1void ok8(int [*]);
2
3void ok8(int a[*]);
4void ok9(int a[const volatile restrict *]);
5
6/*
7 * check-name: abstract-array-declarator-star
8 */
9