Function write_exact 

pub async fn write_exact<O, I>(
    output: &mut O,
    input: &mut I,
    length: usize,
) -> Result<usize, Error>
where
    O: Write + Unpin,
    I: Read + Unpin,