proved a few kernelc list examples

I fixed this by changing the kernelc semantics.