Extraction to C
===============

TODO