. . . "> > but there is a senario where this does not work: if the kernel is loaded" .