More FFI docs