Correctly instantiate the exported symbol