Function Hacl_Salsa20_salsa20_key_block0 

pub unsafe extern "C" fn Hacl_Salsa20_salsa20_key_block0(
    out: *mut u8,
    key: *mut u8,
    n: *mut u8,
)