The compiler analyzed it, optimized it, and emitted precisely the machine instructions you expected. Same input, same output.
What Cherny is describing, in engineering terms, is the operating principle behind test-driven development (TDD). TDD has ...