What is the value of x₁ after the following instructions if tx₀ holds the value 0x0000000000101000?
a) 0x0000000000101000
b) 0x0000000000101001
c) 0x0000000000101002
d) 0x0000000000101003