s_mpv_mul_d_add_prop
void MPI_ASM_DECL s_mpv_mul_d_add_prop(const mp_digit *a,
s_mpv_mul_d_add_prop(MP_DIGITS(a), MP_USED(a), b, MP_DIGITS(c) + off)
s_mpv_mul_d_add_prop(MP_DIGITS(a), useda, b_i, MP_DIGITS(c) + ib);