Revision of ISO C 9x <time.h>