export default function _convert_to_smaller(f, t, a, ai, aj, b, bi, bj) {
    assert(f >= 2);
    assert(t >= 2);
    assert(f > t);
    assert(ai >= 0 && aj <= a.length);