the translator from C headers to another language (currently, Ada only)