Kernel bug and sample program from K&R