Function EverCrypt_Curve25519_scalarmult 

pub unsafe extern "C" fn EverCrypt_Curve25519_scalarmult(
    shared: *mut u8,
    my_priv: *mut u8,
    their_pub: *mut u8,
)