@000
00004000   // ldr r0, x
00004001   // ldr r1, y
0000108e   // sar r0, r1
00003f20   // str r0, z
000000ff   // halt
 
@40
f0f2efcf   // x
00000004   // y
