- let tp = calloc(1, struct timeval);
- let tz = calloc(1, struct timezone);
- return to_int(gettimeofday);
+ let tp = calloc(1, sizeof(struct timeval));
+ let tz = calloc(1, sizeof(struct timezone));
+ return gettimeofday(tp, tz) as to_int(gettimeofday);