Generator of ANSI C code that can write native CTF