"Documentation by paper"

[Joern Rennecke]

> Sure.  The specification is unrelated to the implementation: the function
> does whatever is needed to compile and optimize a function.  The details
> don't matter at all to the specification.

That's not a formal specification, but an informal description, just
as we have in our comments right now.  In fact, our current comment goes
into a little detail than that, although it is still necessarily incomplete.

You couldn't use either of these descriptions to tell you all you need
to implement the function separately.