David> No other libffi port has the ABI name different from the David> ffi_call_* name. Andreas> I 'understand', patch withdrawn. I have no objection to the change, but someone other than me needs to decide whether this naming style is worth preserving. I was trying to develop the least-disruptive patch possible. David