POSIX times example