[josephcsible]

Compilers are small?

[nh23423fefe]

Compilers aspire to be something like a total function. Define you inputs and outputs and you are "forced" into a correct implementation.

real software isn't like that. I interpret "small" to mean localized in idea space.

[toast0]

Depends on the compiler/language.