Function EverCrypt_CTR_init 

pub unsafe extern "C" fn EverCrypt_CTR_init(
    p: *mut EverCrypt_CTR_state_s,
    k: *mut u8,
    iv: *mut u8,
    iv_len: u32,
    c: u32,
)