Blame for code/bugfind/bench/kernels/toodee_drain/pre/src/lib.rs

pub fn drain_col_copy_len(orig_cols: usize, col: usize) -> usize {
    orig_cols - col
}