pub unsafe extern "C" fn __hc__x_25519_x_salsa20_poly1305_encrypt_1(
    guest_allocation_ptr: usize,
    len: usize
) -> DoubleUSize