stub FFI calls for all specs