#include "SYS.h" _SYS_call_2(gettimeofday)