This is a pretty interesting method to prove/debug the kernel on the fly