s_mpv_sqr_add_prop
void MPI_ASM_DECL s_mpv_sqr_add_prop(const mp_digit *a,
s_mpv_sqr_add_prop(MP_DIGITS(a), MP_USED(a), MP_DIGITS(sqr));