added explicit export specifications