fn write_checked(src: &[u8], dst: &mut [u8]) -> Result<(), InvalidMethod>