omitted to rename emul gettimeofday