AArch64 SCA-04 { uint64_t x; uint64_t 1:X0; 0:X0=0x101010101010101; 0:X1=x; 0:X2=0x2020202; 1:X1=x; 1:X2=0x3030303; } P0 | P1 ; STR X0,[X1] | STR W2,[X1,#4] ; STR W2,[X1] | LDR X0,[X1] ; Observed x=0x101010102020202; 1:X0=0x303030302020202;