#include "SYS.h" SYS_call_2(getitimer)