Symbol: write_export_command