inline extract() {
        extracting = true;
        if
                :: !empty ->
                        atomic {
                                pm = m;
                                res = a[0];
                                m--;
                                a[0] = a[m];
                                SiftDown(0);
                                isHeap();
                                find(); // добавил
                        }
                        extracting = false;
                :: else -> res = -1; skip;
        fi;
        extracting = false;
}