pub fn check_size<T: ?Sized>(len: usize, val: &T) -> Result<()>