where the month name is as defined in the library function asctime and the first digit of the date is a space if the date is less than 10.
__TIME__
The time of the translation; again a string literal in the form produced by asctime, which has the form "hh:mm:ss".