Completed FFI

But you should check it is valid. It may not be!
Also it doesn't have your type aliases.