ffi.Pointer<ffi.Int8> asctime_r( ffi.Pointer<tm> __tp, ffi.Pointer<ffi.Int8> __buf, ) { return _asctime_r( __tp, __buf, ); }