export def