fputs(";\n", stdout); \
mp_drop(x); mp_drop(y); \
} \
+ for (i = 0; i < 4; i++) { \
+ mp *x = mprand_range(MP_NEW, m64, r, 0); \
+ mp *y = mp_##op(MP_NEW, x, 32); \
+ mp_div(0, &y, y, m64); \
+ \
+ fputs(" ", stdout); \
+ putmp(x); printf(" 32"); putmp(y); \
+ fputs(";\n", stdout); \
+ mp_drop(x); mp_drop(y); \
+ } \
fputs("}\n", stdout); \
}