We don't really need this in the kernel