proved a few kernelc list examples

yeah, I know