proved kernelc list tail