Symbol: Registers_arm32