exports in def