for (n = 0; n < svector_size (convert_types); ++n) {
add_convert_header (svector_at (convert_types, n),
svector_at (convert_args, n),
filename, drft);
}
for (n = 0; n < svector_size (convert_types); ++n) {
add_convert_header (svector_at (convert_types, n),
svector_at (convert_args, n),
filename, drft);
}