export c fn main() -> i32 { let bytes: [4]u8 = [1_u8, 2_u8, 3_u8, 4_u8] if bytes[0] == 1_u8 { if bytes[3] == 4_u8 { return 10 } } return 0 }