Function EverCrypt_Ed25519_secret_to_public 

pub unsafe extern "C" fn EverCrypt_Ed25519_secret_to_public(
    output: *mut u8,
    secret: *mut u8,
)