给一个具体的软件，你们看看会不会crash？

假设用GNU的大整数library，所有int变量都可以是任意大的自然数。其中用print的那一行有可能造成0除以0，在C里面整数0除以0程序要crash的。请问这个程序会crash吗？如果你知道会不会，你就知道了哥猜想对不对。

存在类似的程序，它不需要任何外界输入，运行过程是决定地而且唯一的，但是连数学家都不可能知道它会不会crash。有意思吧？

int is_prime(int x) {
for (int i = 2; i*i if (mod(x, i) == 0) { // i divides x, not a prime
return 0;
}
}
return 1;
}

void test_goldbach() {
for (int n = 6; ; n = n + 2) { // Iterate over even numbers n.
for (int x = 2; x if (!is_prime(x)) {
continue;
}
for (int y = 2; y if (!is_prime(y)) {
continue;
}
// Now we have x and y prime numbers.
// If x + y == n, we test the next n.
if (x + y == n) {
goto next_n;
}
}
}
next_n:;
// By construction of the loops, if n invalides Goldbach,
// then x == y == n, and (n - x) / (n - y) will crash
// with a division by 0 error.
// Otherwise, the code can go on.
print((n - x) / (n - y));
}
}