created the kernel for c and we hope it works...it compiles