int clock_getcpuclockid( int __pid, ffi.Pointer<ffi.Int32> __clock_id, ) { return _clock_getcpuclockid( __pid, __clock_id, ); }