Performing a reverse split_off operation in Rust efficiently

Question

My use case involves two mutable vectors a and b and a usize parameter x. I want to make the following change:

1. t