#include "SYS.h" SYS_call_1(gettimeofday)