//! returns: 0
//! Test read-only data access for `u32` type.
constant A: u32 = 0;
constant B: u32 = 2147483647;
constant C: u32 = 4294967295;

@default fn main() -> i32 {
    assert A == 0;
    assert B == 2147483647;
    assert C == 4294967295;

    return 0;
}