[gambit-list] FFI numeric vector lengths