a duplicate 'export'