Function Hacl_SHA2_Vec128_sha224_4 

pub unsafe extern "C" fn Hacl_SHA2_Vec128_sha224_4(
    dst0: *mut u8,
    dst1: *mut u8,
    dst2: *mut u8,
    dst3: *mut u8,
    input_len: u32,
    input0: *mut u8,
    input1: *mut u8,
    input2: *mut u8,
    input3: *mut u8,
)