~ ceval_example2.