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