Kernel pool overflow and the danger of data types