1 /* Public domain. */
2 
main()3 int main()
4 {
5   unsigned long u;
6   u = 1;
7   u += u; u += u; u += u; u += u; u += u; u += u; u += u; u += u;
8   u += u; u += u; u += u; u += u; u += u; u += u; u += u; u += u;
9   u += u; u += u; u += u; u += u; u += u; u += u; u += u; u += u;
10   u += u; u += u; u += u; u += u; u += u; u += u; u += u; u += u;
11   if (!u) _exit(1);
12   _exit(0);
13 }
14