Fix example numbering in gettimeofday()