Update CCexamples.ml