#include <stdio.h>
int foo(int a[static 1]) { }


int main(void) {
	int a[1] = { 1 };
    foo(a);
	return 0;
}