the c2 programming language