#include<stdio.h>
#include<malloc.h>
#include <stdlib.h>
#include <stdint.h>
int main()
{
//char *p,*q;
uint32_t *x
= malloc(sizeof(uint32_t)*4); //Assume that x == 0x20000000 x[0] = 0xDEADBEEF;
x[1] = 0xC561C156;
x[2] = 0x00DC1A55;
x[3] = 0xABADCAFE;
uint64_t y = *((uint64_t*)x);
return 0;
}
I2luY2x1ZGU8c3RkaW8uaD4KI2luY2x1ZGU8bWFsbG9jLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KI2luY2x1ZGUgPHN0ZGludC5oPgppbnQgbWFpbigpCnsKLy9jaGFyICpwLCpxOwp1aW50MzJfdCAqeCA9IG1hbGxvYyhzaXplb2YodWludDMyX3QpKjQpOyAvL0Fzc3VtZSB0aGF0IHggPT0gMHgyMDAwMDAwMAp4WzBdID0gMHhERUFEQkVFRjsKeFsxXSA9IDB4QzU2MUMxNTY7CnhbMl0gPSAweDAwREMxQTU1Owp4WzNdID0gMHhBQkFEQ0FGRTsKdWludDY0X3QgeSA9ICooKHVpbnQ2NF90Kil4KTsKCnByaW50ZigiSGVsbG8hIik7CnByaW50ZigiJWQiLCB5KTsKcHJpbnRmKCJIZXJlISIpOwpyZXR1cm4gMDsKfQ==