Loader's number

loader.c is an entry by ralph Loader for the Bignum Bakeoff contest, whose objective is to write a program (in 512 characters or less) that generates the largest possible output.

The program diagonalizes over the Huet-Coquand calculus of constructions. Its output is defined as D5(99), where D(k) is the sum of all possible bit strings with a binary value of k or lower.

David Meows has shown that even D2(99) would be much larger than fε 0 + ω3 (1000000) in the fast-growing hierarchy.