Function skip_vec 

fn skip_vec(buf: &[u8], p: usize, len_bytes: usize, ceiling: usize) -> Skip

Skips a length-prefixed vector: reads a len_bytes-wide (1 or 2) big-endian length at p, then skips that many bytes, all bounded by ceiling.