ffi.Pointer<ffi.Uint16> seed48( ffi.Pointer<ffi.Uint16> __seed16v, ) { return _seed48( __seed16v, ); }