Presented in Moscow in December 2017 at Heisenbug conference. Video and slides are in Russian.