FFI: number of worker threads?