pub fn check_bounds( buf: &[u8], offset: usize, needed: usize, ctx: &'static str, ) -> Result<(), VerifyError>