Add a few examples to FFI docs