let gettimeofday x = implem.gettimeofday x