We can now use C in the kernel