# The number of microseconds elapsed since January 1, 1970
#
# Uses the Unix function `gettimeofday`.
fun get_microtime: Int `{
	struct timeval val;
	gettimeofday(&val, NULL);
	return val.tv_sec * 1000000 + val.tv_usec;
`}