Source code generated on CCTVAL practice.