Examples from The Linux Kernel Programming Guide - test-driven with CppUTest