//! returns: 133
//! Test @sliceOf runtime validation for len > cap.

@default fn main() -> i32 {
    let mut arr: [i32; 4] = [10, 20, 30, 40];
    let ptr: *i32 = &arr[0];
    let slice: *[i32] = @sliceOf(ptr, 4, 3);

    return slice.len as i32;
}