Programming in C-CA1T2