KITO tool: A fault injection environment in Linux kernel data structures