//! returns: 0
//! Function-local aggregate constants with the same name in different
//! functions must not alias the same lowered data symbol.

fn left() -> i32 {
    constant VALUE: [i32; 2] = [11, 13];
    return VALUE[0] + VALUE[1];
}

fn right() -> i32 {
    constant VALUE: [i32; 2] = [29, 31];
    return VALUE[0] + VALUE[1];
}

@default fn main() -> i32 {
    if left() <> 24 {
        return 1;
    }
    if right() <> 60 {
        return 2;
    }
    return 0;
}