Translate "Exporting Types in ATS for Use in C" (cont.)