Talk I gave at FSTOCO 2014