A compiler for a minified subset of the C language