* kernel/Kernel.tex.nw: return0 -> returnfalse