int main(void){
unsigned char data[] = {
0x12, 0x34, 0x56, 0x78
};
data[4] = 0x89;
(void)data;
}
aW50IG1haW4odm9pZCl7CiAgICB1bnNpZ25lZCBjaGFyIGRhdGFbXSA9IHsKICAgICAgICAweDEyLCAweDM0LCAweDU2LCAweDc4CiAgICB9OwoKICAgIGRhdGFbNF0gPSAweDg5OwogICAgKHZvaWQpZGF0YTsKfQ==