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