a_len++;
vis_mpv_mul_d_add_prop(const mp_digit *a, mp_size a_len, mp_digit b, 			 mp_digit *c){    mp_digit d;    mp_digit x[258];    if (a_len <= 256) {	if (((ptrdiff_t)a & 0x7) != 0 || (a_len & 1) != 0) {	    mp_digit * px;	    px = (((ptrdiff_t)x & 0x7) != 0) ? x + 1 : x;	    memcpy(px, a, a_len * sizeof(*a));	    a = px;	    if (a_len & 1) {		px[a_len] = 0;		a_len++;	    }	}	d = mul_add_inp(c, a, a_len, b);	if (d) {	    c += a_len;	    do {		mp_digit sum = d + *c;		*c++ = sum;		d = sum < d;	    } while (d);	}    } else {	v8_mpv_mul_d_add_prop(a, a_len, b, c);    }}