Presented in Saint-Petersburg in June 2017 at Heisenbug conference. Video and slides are in Russian.