FFI debugging