A small language which is a subset of C.