DEFINITION MODULE DBadExportOrder;
TYPE T = INTEGER;
EXPORT UNQUALIFIED T;
END DBadExportOrder.