Function Hacl_Chacha20_Vec32_chacha20_decrypt_32 

pub unsafe extern "C" fn Hacl_Chacha20_Vec32_chacha20_decrypt_32(
    len: u32,
    out: *mut u8,
    cipher: *mut u8,
    key: *mut u8,
    n: *mut u8,
    ctr: u32,
)