ffi.Pointer<ffi.Int8> ctime_r( ffi.Pointer<ffi.Int64> __timer, ffi.Pointer<ffi.Int8> __buf, ) { return _ctime_r( __timer, __buf, ); }