int32_t __int32_asr(int32_t arg, int bits);
__int32_asr shifts arg arithmetically right by bits bit positions, replicating the sign bit, and returns the shifted result.