pub fn stdout_write_all_as_binary_and_flush(output: &[u8]) -> Result<()>