Translate "Exporting Types in ATS for Use in C"