Function Hacl_Hash_SHA2_update_last_256 

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