Good stuff for ARM7TDMI. get_/set_register() seem to work ok.