Test-driven development with an LLM for fun and profit