int clock_getres(clockid_t __clock_id, ffi.Pointer<timespec> __res) { return _clock_getres(__clock_id.value, __res); }