ffi.Pointer<ffi.Char> initstate( int __seed, ffi.Pointer<ffi.Char> __statebuf, int __statelen, ) { return _initstate( __seed, __statebuf, __statelen, ); }