add export statement again, but make it lazy