proper module export list