Function EverCrypt_Hash_update_last_256 

pub unsafe extern "C" fn EverCrypt_Hash_update_last_256(
    s: *mut u32,
    input: u64,
    input_len: *mut u8,
    input_len1: u32,
)