This is a C coded kernel