prove more kernelc list examples (not finished yet)