Is there a quick way to see the CU code output that defkernel should compile to? I found (compile-kernel kernel) function in the code but how does one go about generating a kernel from defkernel?