(Date and time <time.h>): Add fprintftime.