ref: 81b6d6367c1c9c957ca910e5f8b5fb70adfa9c21 dir: /tests/execute/0093-arrayinit.c/
int a[3] = {0, 1, 2}; int main() { if (a[0] != 0) return 1; if (a[1] != 1) return 2; if (a[2] != 2) return 3; return 0; }