9.4.2.3 Register Names ...................... *TODO* Explain about ARM register naming, and the predefined names.