Add more FFI docs