pub fn check_write( size: [u32; 2], format: ContentFormat, rect: [u32; 4], bytes: usize, ) -> Result<(), String>