Update tffi.scm