I think we can avoid this by using the /* export */ directive