1 static char array[128]; 2 3 /* 4 * check-name: Array code generation 5 * check-command: sparsec -c $file -o tmp.o 6 */ 7