proved a few kernelc list examples