our kernels have no bugs