A compiler of simplified C