Fetch the kernel name from the Kernel object in the c_code and document what Kernel represents.