proved a few kernelc list examples

This rule is not needed, just the one below.