ref: 94f23734015424515144b54f0a9f9d6c9d2f34c2 dir: /tests/cc/error/0025-bad-init.c/
char s2[2] = "foo"; int main() { return 0; }