re-exported

RE-EXPORTED, pp. Exported after being imported.