cexamples