Add a section on FFI