Marxen.c

marxen.c is an entry Heiner Marxen for the Bignum Bakeoff contest, whose objective is to write a C program (in 512 characters or less) that generates the largest possible output.

The program uses a variant of the Goodstein sequences. Its output is lower bounded by fωω(2↑↑500) in the fast-growing hierarchy.