>rather than giving it in a well-specified and tested form

So, code?