int *p;
p = (int *)0x12345678;
*p = 0xFF;