question: static int innerNewVecInsertPos ( int oldPos , int idx , Vector < Insertion > vec ) { if ( vec . size ( ) <= idx ) { return oldPos ; } else { return innerNewVecInsertPos ( newInsertPos ( oldPos , vec . elementAt ( idx ) ) , idx + 1 , vec ) ; } }
target:  The recursive procedure that evaluates newVecInsertPos(oldPos, v) where v is the vector of elements vec[idx], vec[idx+1], ...