dedicated to An Le Thi Thanh ---------------- bindings to time.h: clock_gettime and clock_getres