Final C code, done.