pub unsafe extern "C" fn jade_scalarmult_curve25519_amd64_mulx_base(
    r: *mut u8,
    k: *mut u8
) -> c_int