prove more kernelc list examples