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

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

    return 0;
}
