proved kernelc simple examples
fixed copyright
Merge pull request #871 from yilongli/prove-kernelc-simple-examples

Prove kernelc simple examples