Simple Kernel in C