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