pub unsafe extern "C" fn EverCrypt_Ed25519_expand_keys(
    expanded_keys: *mut u8,
    private_key: *mut u8
)