Re: (SC22WG14.6158) (SC22WG14.6131) (SC22WG14.6130) Summary of problems with draft C9x <time.h>, and a proposed fix