/* -*-c-*-
*
- * $Id: mpx-test.c,v 1.1 1999/11/13 01:50:04 mdw Exp $
+ * $Id: mpx-test.c,v 1.2 1999/11/17 18:05:20 mdw Exp $
*/
#include <stdio.h>
LOAD(q, ql, &v[2]);
LOAD(r, rl, &v[3]);
ALLOC(qq, qql, al - a);
- ALLOC(s, sl, 2 * (bl - b) + 2);
+ ALLOC(s, sl, (bl - b) + 1);
mpx_udiv(qq, qql, a, al, b, bl, s, sl);
if (MPX_UCMP(qq, qql, !=, q, ql) ||