fn validate_coordinate( offset: usize, width: usize, alignment: usize, byte_len: usize, ) -> Result<()>