more Tarjan/Mihaescu thrashing