Let's write a (simple) kernel