It really does seem like they should have been able to do an incremental rewrite with FFI. Could have easily done it with AI too.
Yes, they probably don't know C ABI.