Object-oriented design patterns in C and kernel development