kernel code example