Prove kernelc simple examples

@andreistefanescu please review