Re: [chuck-users] gettimeofday?