type Bytes4 {
    bytes: [4]u8,
}

export c fn main() -> i32 {
    let value: Bytes4 = Bytes4 { bytes: [7_u8; 4] }
    if value.bytes[0] == 7_u8 && value.bytes[3] == 7_u8 {
        return 0
    }
    return 1
}