In all cases, had write back of the modified base not been required (W=0), Rn would have retained its initial
value of 0x1000 unless it was also in the transfer list of a load multiple register instruction, when it would
have been overwritten with the loaded value.