int32_t __int32_mod_asgn(int32_t *dividend, int32_t divisor);
__int32_mod_asgn updates the 32-bit signed integer pointed to by dividend by assigning it the remainder after division of dividend by divisor. The remainder is returned as the result.