kernels are void by definition