duffs_device_converted_with_c2rust.rs

#![allow(dead_code,
         mutable_transmutes,
         non_camel_case_types,
         non_snake_case,
         non_upper_case_globals,
         unused_mut)]
#![feature(libc)]
extern crate libc;
#[no_mangle]
pub unsafe extern "C" fn send(mut to: *mut libc::c_char,
                              mut from: *mut libc::c_char,
                              mut count: libc::c_int) {
    let mut n: libc::c_int = (count + 7i32) / 8i32;
    let mut current_block_7: u64;
    match count % 8i32 {
        0 => { current_block_7 = 8258075665625361029; }
        7 => { current_block_7 = 6932718051711946114; }
        6 => { current_block_7 = 5757312956196023778; }
        5 => { current_block_7 = 11037954910489989466; }
        4 => { current_block_7 = 8412423308551259261; }
        3 => { current_block_7 = 15077176690991321518; }
        2 => { current_block_7 = 759524916659807337; }
        1 => { current_block_7 = 8373261093155492127; }
        _ => { current_block_7 = 13586036798005543211; }
    }
    loop  {
        match current_block_7 {
            13586036798005543211 => { return; }
            8258075665625361029 => {
                let fresh0 = from;
                from = from.offset(1);
                *to = *fresh0;
                current_block_7 = 6932718051711946114;
            }
            6932718051711946114 => {
                let fresh1 = from;
                from = from.offset(1);
                *to = *fresh1;
                current_block_7 = 5757312956196023778;
            }
            5757312956196023778 => {
                let fresh2 = from;
                from = from.offset(1);
                *to = *fresh2;
                current_block_7 = 11037954910489989466;
            }
            11037954910489989466 => {
                let fresh3 = from;
                from = from.offset(1);
                *to = *fresh3;
                current_block_7 = 8412423308551259261;
            }
            8412423308551259261 => {
                let fresh4 = from;
                from = from.offset(1);
                *to = *fresh4;
                current_block_7 = 15077176690991321518;
            }
            15077176690991321518 => {
                let fresh5 = from;
                from = from.offset(1);
                *to = *fresh5;
                current_block_7 = 759524916659807337;
            }
            759524916659807337 => {
                let fresh6 = from;
                from = from.offset(1);
                *to = *fresh6;
                current_block_7 = 8373261093155492127;
            }
            _ => {
                let fresh7 = from;
                from = from.offset(1);
                *to = *fresh7;
                n -= 1;
                if n > 0i32 {
                    current_block_7 = 8258075665625361029;
                } else { current_block_7 = 13586036798005543211; }
            }
        }
    };
}