Presented in Saint Petersburg in May 2018 at Heisenbug conference. Video and slides are in Russian.