adds export of Pool