Function EverCrypt_Curve25519_secret_to_public 

pub unsafe extern "C" fn EverCrypt_Curve25519_secret_to_public(
    pub_: *mut u8,
    priv_: *mut u8,
)