Export synthesis