HH:MM:SS.NNNNNNNNN Time stamp library in C