int clock_gettime( int __clock_id, ffi.Pointer<timespec> __tp, ) { return _clock_gettime( __clock_id, __tp, ); }