export c fn main() -> i32 { let bytes: [8]u8 = [7_u8; 8] var scratch: [16]u8 = [0_u8; 16] scratch[8] = bytes[0] if bytes[7] == 7_u8 && scratch[0] == 0_u8 && scratch[8] == 7_u8 && std.mem.len(scratch) == 16 { return 0 } return 1 }