void foo() {
    int[4] a;

    a = [1, 2, 3];
    a[0] = 1;
}