} else {
        while (bi < bj && eq((aj - 1) | 0, (bj - 1) | 0)) {
            aj = (aj - 1) | 0;
            bj = (bj - 1) | 0;
        }