void F0(thread array& l0); void F0(thread array& l0) { array l1 = {}; array l2 = {}; { array l2 = {}; l2 = l1; } l0 = l2; return; }