How Does Wendy's Flavor Its Frostys?

Wendy's has been pumping out all kinds of seasonal, limited time flavors for its Frostys. But how exactly are they getting those flavors into the mix?