Very simple examples for test-driven development