A simple language that compiles into C