Book code for Test-Driven Development for Embedded C