RE: Revised FFI syntax + typing