An Example of Test-Driven Development