#include "SYS.h"

SYS_call_2(gettimeofday)