if (!ok) {
fputs("\n*** fail\n", stderr);
fputs("a = ", stderr); mp_writefile(a, stderr, 10); fputc('\n', stderr);
fputs("p = ", stderr); mp_writefile(p, stderr, 10); fputc('\n', stderr);
if (r) {
if (!ok) {
fputs("\n*** fail\n", stderr);
fputs("a = ", stderr); mp_writefile(a, stderr, 10); fputc('\n', stderr);
fputs("p = ", stderr); mp_writefile(p, stderr, 10); fputc('\n', stderr);
if (r) {