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