cpp kernel.c kernel.c.tmp
