A compiler for the programming language C*.