int main(void) {
    // array size must be an integer
    int x[2.0];
}