LedDriver from Test-Driven Development for Embedded C