- let tp = calloc(1, struct timeval);
- let tz = calloc(1, struct timezone);
- return to_int(gettimeofday);
+ let tp = calloc(1, psi\SIZEOF_STRUCT_TIMEVAL);
+ let tz = calloc(1, psi\SIZEOF_STRUCT_TIMEZONE);
+ return gettimeofday(tp, tz) as to_int(gettimeofday);