//! returns: 0

/// Test that constant expressions referencing other constants
/// can be used as array sizes.

const ROWS: u32 = 3;
const COLS: u32 = 4;
const TOTAL: u32 = ROWS * COLS;

static DATA: [i32; TOTAL] = undefined;

@default fn main() -> i32 {
    // Verify the array has the expected length.
    if DATA.len != 12 { return 1; }
    return 0;
}